Commits · d102a69dd127244ca25c0bead8e4a055eb27c04b · Arthur Azevedo de Amorim / stdpp

Sep 18, 2017
- restrict publishing to master branch · d102a69d
  Ralf Jung authored 7 years ago
  
  d102a69d
- trigger opam-update repo after successful CI build · 5d5f47b5
  Ralf Jung authored 7 years ago
  
  5d5f47b5
Sep 17, 2017
- No longer test master using Coq 8.5pl3. · b371f874
  Robbert Krebbers authored 7 years ago
  
  b371f874
Aug 22, 2017
- adapt regexp for coq 8.7 · fa6ff9d1
  Ralf Jung authored 7 years ago
  
  fa6ff9d1
- also run CI against 8.7 branch (will switch to release once that happened) · 6905014d
  Ralf Jung authored 7 years ago
  
  6905014d
- CI: use template; test 8.5.3, 8.6 and 8.6.1 · 4cf19713
  Ralf Jung authored 7 years ago
  
  4cf19713
Feb 22, 2017
- use new CI machine · 5c4fc3c2
  Ralf Jung authored 8 years ago
  
  5c4fc3c2
Feb 16, 2017
- record timing information in artifact · e8e97884
  Ralf Jung authored 8 years ago
  
  e8e97884
Feb 07, 2017
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored 8 years ago
  
  2d8a4eb4
Feb 03, 2017
- add opam and CI stuff (with preliminary names) · 63f64743
  Ralf Jung authored 8 years ago
  
  63f64743