Commits · windows2 · pub / COLIBRI

Jul 03, 2020
- Don't Test 4.07 for now · 56d603b6
  François Bobot authored 4 years ago
  
  56d603b6
Jun 30, 2020
- Do the test in parallel · 7cd7de0b
  François Bobot authored 4 years ago
  
  7cd7de0b
- Remove not needed num package · 3ee4282d
  François Bobot authored 4 years ago
  
  3ee4282d
- Stange error with ocaml/opam2 latest in 4.07 · 22482a86
  François Bobot authored 4 years ago
  
  22482a86
- Test 4.07 · f3a53ba2
  François Bobot authored 4 years ago
  
  f3a53ba2
Jun 29, 2020
- Add missing dependencies menhit fmt spelll gen · dbbe92bf
  François Bobot authored 4 years ago
  
  dbbe92bf
Apr 07, 2020
- add copy of ECLIPSE to test without recompilation · 7a81d7b1
  Johannes Kanig authored 4 years ago
  
  Change-Id: I6a746e93f18f8294d042a56bcc228db84422656d
  7a81d7b1
Apr 06, 2020
- Create the directory before to copy inside · 95bafda6
  François Bobot authored 4 years ago
  
  95bafda6
- Fix ECLIPSEBIN and use it also for the floating point library · 252c8fb1
  François Bobot authored 4 years ago
  
  252c8fb1
- Fix CI without recompilation · d401decc
  François Bobot authored 4 years ago
  
  d401decc
- Extract from .gitlab.yml the compilation steps · 53d83117
  Johannes Kanig authored 4 years ago and François Bobot committed 4 years ago
  
  53d83117
Feb 10, 2020
- [CI] sudo or not sudo · d2da2c7d
  François Bobot authored 5 years ago
  
  d2da2c7d
- use only ubuntu for sudo · eb4cf78f
  François Bobot authored 5 years ago
  
  eb4cf78f
Feb 09, 2020
- add tests · c8f62f8e
  François Bobot authored 5 years ago
  
  c8f62f8e
- Try another distribution than alpine · d114c715
  François Bobot authored 5 years ago
  
  d114c715
- Bundle · 88863506
  François Bobot authored 5 years ago
  
  88863506
- Compile COLIBRI · 3a3db286
  François Bobot authored 5 years ago
  
  3a3db286
- Add C++ compilation · cd958020
  François Bobot authored 5 years ago
  
  cd958020
- Compile OCaml code · 166c18a4
  François Bobot authored 5 years ago
  
  166c18a4
- Add CI · 3f2e2bce
  François Bobot authored 5 years ago
  
  3f2e2bce
- Add CI · 095a424a
  François Bobot authored 5 years ago
  
  095a424a