Commits · d5120bc9b4405a83fbe35bf21339b9df41f4f2a0 · David Swasey / coq-stdpp

19 Oct, 2017 1 commit
- CI tweaks · d5120bc9
  Ralf Jung authored Oct 19, 2017
  
  d5120bc9
18 Oct, 2017 2 commits
- I think we better keep testing the 8.7 branch · b8aba40a
  Ralf Jung authored Oct 18, 2017
  
  b8aba40a
- test against stable released Coq 8.7 · 76b2ec95
  Ralf Jung authored Oct 18, 2017
  
  76b2ec95
27 Sep, 2017 1 commit
- unify CI · 24a94413
  Ralf Jung authored Sep 27, 2017
  
  24a94413
18 Sep, 2017 2 commits
- restrict publishing to master branch · d102a69d
  Ralf Jung authored Sep 18, 2017
  
  d102a69d
- trigger opam-update repo after successful CI build · 5d5f47b5
  Ralf Jung authored Sep 18, 2017
  
  5d5f47b5
17 Sep, 2017 1 commit
- No longer test master using Coq 8.5pl3. · b371f874
  Robbert Krebbers authored Sep 17, 2017
  
  b371f874
22 Aug, 2017 3 commits
- adapt regexp for coq 8.7 · fa6ff9d1
  Ralf Jung authored Aug 22, 2017
  
  fa6ff9d1
- also run CI against 8.7 branch (will switch to release once that happened) · 6905014d
  Ralf Jung authored Aug 22, 2017
  
  6905014d
- CI: use template; test 8.5.3, 8.6 and 8.6.1 · 4cf19713
  Ralf Jung authored Aug 22, 2017
  
  4cf19713
22 Feb, 2017 1 commit
- use new CI machine · 5c4fc3c2
  Ralf Jung authored Feb 22, 2017
  
  5c4fc3c2
16 Feb, 2017 1 commit
- record timing information in artifact · e8e97884
  Ralf Jung authored Feb 16, 2017
  
  e8e97884
07 Feb, 2017 1 commit
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored Feb 06, 2017
  
  2d8a4eb4
03 Feb, 2017 1 commit
- add opam and CI stuff (with preliminary names) · 63f64743
  Ralf Jung authored Feb 01, 2017
  
  63f64743