Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

  1. 20 Dec, 2017 2 commits
  2. 19 Dec, 2017 1 commit
  3. 18 Dec, 2017 4 commits
  4. 16 Dec, 2017 1 commit
    • Mário Pereira's avatar
      Extraction of range types: · 2f5afda0
      Mário Pereira authored
      - even for range types fitting 31-bit signed integers the user must provide a
      driver in order to get them extracted to OCaml's type 'int'
      2f5afda0
  5. 15 Dec, 2017 8 commits
  6. 14 Dec, 2017 14 commits
  7. 13 Dec, 2017 8 commits
  8. 12 Dec, 2017 2 commits