Commits · c80b0baa913617fb83a0de668b4e4478ed7930d4 · Adam / stdpp

Oct 07, 2018
- support Coq 8.8.2 · c80b0baa
  Ralf Jung authored 6 years ago
  
  c80b0baa
Sep 30, 2018
- use newer ocaml for Coq master · a5f2f7bf
  Ralf Jung authored 6 years ago
  
  a5f2f7bf
Sep 18, 2018
- use Docker image matching CI branch · 39bb247a
  Ralf Jung authored 6 years ago
  
  39bb247a
- autoamtically use latest CI · c83feb6b
  Ralf Jung authored 6 years ago
  
  c83feb6b
Jul 10, 2018
- test against Coq 8.8.1 · df7728e4
  Ralf Jung authored 6 years ago
  
  df7728e4
Jun 20, 2018
- also time Coq 8.8 · b2ca5d48
  Ralf Jung authored 6 years ago
  
  b2ca5d48
Apr 18, 2018
- test against Coq 8.8.0; update CI · 425f99ea
  Ralf Jung authored 6 years ago
  
  425f99ea
Apr 03, 2018
- update CI · a8f27348
  Ralf Jung authored 6 years ago
  
  a8f27348
Mar 22, 2018
- CI: test Coq 8.8 branch · 32570aa6
  Ralf Jung authored 7 years ago
  
  32570aa6
Feb 16, 2018
- also test 8.7.2; stop testing 8.7.dev as that branch is done now · 0c5d54ab
  Ralf Jung authored 7 years ago
  
  0c5d54ab
Feb 15, 2018
- update CI · 65e40a46
  Ralf Jung authored 7 years ago
  
  65e40a46
Feb 13, 2018
- update CI · 4e87d4e7
  Ralf Jung authored 7 years ago
  
  4e87d4e7
- update CI · 46d3f549
  Ralf Jung authored 7 years ago
  
  46d3f549
Jan 25, 2018
- only publish docs from master · 6117c3e4
  Ralf Jung authored 7 years ago
  
  6117c3e4
- change doc folder · d9b7d46a
  Ralf Jung authored 7 years ago
  
  d9b7d46a
- fix coqdoc path · db99e7c4
  Ralf Jung authored 7 years ago
  
  db99e7c4
- set coqdoc username · 3dc445f6
  Ralf Jung authored 7 years ago
  
  3dc445f6
- CI: actually generate and upload doc · 6c9f534d
  Ralf Jung authored 7 years ago
  
  6c9f534d
- CI: prepare for generating and uploading docs · 49280cda
  Ralf Jung authored 7 years ago
  
  49280cda
Dec 17, 2017
- mention 8.7.1 in README · 20fb85af
  Ralf Jung authored 7 years ago
  
  20fb85af
- actually build against Coq 8.7.1 · ac67833a
  Ralf Jung authored 7 years ago
  
  ac67833a
- also build against Coq 8.7.1 · aa1c2acc
  Ralf Jung authored 7 years ago
  
  aa1c2acc
Nov 28, 2017
- no longer CI coqchk, it is just broken in too many ways · c016d3b1
  Ralf Jung authored 7 years ago
  
  c016d3b1
Nov 22, 2017
- build 8.7.dev and 8.6 *after* publishing to opam · 5dc4837b
  Ralf Jung authored 7 years ago
  
  5dc4837b
Oct 28, 2017
- update CI · b99b916f
  Ralf Jung authored 7 years ago
  
  b99b916f
Oct 19, 2017
- CI: sync · dc8dfe96
  Ralf Jung authored 7 years ago
  
  dc8dfe96
- fix build cache key; sync build system · a9a7cbd4
  Ralf Jung authored 7 years ago
  
  a9a7cbd4
- update CI · b5199648
  Ralf Jung authored 7 years ago
  
  b5199648
- CI: rename jobs for consistency · 9e19db28
  Ralf Jung authored 7 years ago
  
  9e19db28
- CI tweaks · d5120bc9
  Ralf Jung authored 7 years ago
  
  d5120bc9
Oct 18, 2017
- I think we better keep testing the 8.7 branch · b8aba40a
  Ralf Jung authored 7 years ago
  
  b8aba40a
- test against stable released Coq 8.7 · 76b2ec95
  Ralf Jung authored 7 years ago
  
  76b2ec95
Sep 27, 2017
- unify CI · 24a94413
  Ralf Jung authored 7 years ago
  
  24a94413
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