Commits · 2277106c99ec812ef4bf60043c491eae19ae4470 · Adam / stdpp

Sep 03, 2020
- make 8.12.0 the timing build · 2277106c
  Ralf Jung authored 4 years ago
  
  2277106c
- deny warnings · 5768a7d2
  Ralf Jung authored 4 years ago
  
  5768a7d2
Aug 30, 2020
- test with name mangling on CI · abbd8d0e
  Ralf Jung authored 4 years ago
  
  abbd8d0e
Aug 07, 2020
- test against Coq 8.12.0 (instead of the branch) and master · 4186d1d9
  Ralf Jung authored 4 years ago
  
  4186d1d9
Jul 02, 2020
- drop support for Coq 8.7 · 852e6fa7
  Ralf Jung authored 4 years ago
  
  852e6fa7
Jun 19, 2020
- bump Coq to 8.11.2 · aa5e294c
  Ralf Jung authored 4 years ago
  
  aa5e294c
May 29, 2020
- Coq 8.11.2 tag exists but there is no such release · 9bd10869
  Ralf Jung authored 4 years ago
  
  9bd10869
- test Coq 8.11.2, and the Coq 8.12 branch · 73e64b7a
  Ralf Jung authored 4 years ago
  
  73e64b7a
Apr 06, 2020
- bump to Coq 8.11.1 · 087e4ccf
  Ralf Jung authored 4 years ago
  
  087e4ccf
Feb 19, 2020
- test 8.11.dev instead of master · 06da8f18
  Ralf Jung authored 5 years ago
  
  06da8f18
Feb 13, 2020
- drop 8.9 timing again · 355c84cf
  Ralf Jung authored 5 years ago
  
  355c84cf
Feb 11, 2020
- temporarily also time 8.9.1 again · e95c967d
  Ralf Jung authored 5 years ago
  
  e95c967d
- enable docs again · 1dd79bce
  Ralf Jung authored 5 years ago
  
  1dd79bce
- rely on default timing conf name · c65f3e39
  Ralf Jung authored 5 years ago
  
  c65f3e39
- time on 8.11 instead of 8.10 · 71b46811
  Ralf Jung authored 5 years ago
  
  71b46811
Feb 01, 2020
- test 8.11.0 release · 6caf9b6d
  Ralf Jung authored 5 years ago
  
  6caf9b6d
Jan 13, 2020
- stop timing Coq master · e0d3bf2c
  Ralf Jung authored 5 years ago
  
  e0d3bf2c
- disable docs building for now, SSH login is broken · d322b6fd
  Ralf Jung authored 5 years ago
  
  d322b6fd
Dec 19, 2019
- temporarily time Coq master · bcb89f76
  Ralf Jung authored 5 years ago
  
  bcb89f76
Dec 06, 2019
- bump to Coq 8.10.2 · 1ef53c55
  Ralf Jung authored 5 years ago
  
  1ef53c55
Nov 22, 2019
- Coq 8.11 is fixed · d2265de7
  Ralf Jung authored 5 years ago
  
  d2265de7
- allow 8.11 job to fail while we investigate · 16eb222f
  Ralf Jung authored 5 years ago
  
  16eb222f
- test the Coq 8.11 branch · 7ae24ef3
  Ralf Jung authored 5 years ago
  
  7ae24ef3
Nov 07, 2019
- also remove 8.9.0 from testing · e4aefeed
  Ralf Jung authored 5 years ago
  
  e4aefeed
- switch to new ocaml default · 5384d9bf
  Ralf Jung authored 5 years ago
  
  5384d9bf
- test 8.10.0 instead of 8.8.1 · 3a0c0ae0
  Ralf Jung authored 5 years ago
  
  3a0c0ae0
- switch timing to Coq 8.10.1 · 0efddc56
  Ralf Jung authored 5 years ago
  
  0efddc56
Nov 02, 2019
- only run CI on parent repo · 9e3f9221
  Ralf Jung authored 5 years ago
  
  9e3f9221
May 21, 2019
- test 8.9.1, no longer test 8.7.0, 8.7.1 · f8719169
  Ralf Jung authored 5 years ago
  
  f8719169
May 15, 2019
- test 8.10 beta branch · 7b7ee122
  Ralf Jung authored 5 years ago
  
  7b7ee122
May 12, 2019
- treat API pipelines like schedules and triggers · ffcca4f0
  Ralf Jung authored 5 years ago
  
  ffcca4f0
Feb 28, 2019
- auto-detect timing project name even more · 7b4dc84f
  Ralf Jung authored 6 years ago
  
  7b4dc84f
- auto-detect timing project name · f7396465
  Ralf Jung authored 6 years ago
  
  f7396465
Feb 23, 2019
- reenable coqchk · 905a6df0
  Ralf Jung authored 6 years ago
  
  905a6df0
Feb 21, 2019
- coq's build system is affected by VALIDATE, let's not use that · d1363b24
  Ralf Jung authored 6 years ago
  
  d1363b24
Jan 28, 2019
- test against Coq 8.9.0 · 57e8f9ba
  Ralf Jung authored 6 years ago
  
  57e8f9ba
Dec 19, 2018
- update CI config · e2a239e2
  Ralf Jung authored 6 years ago
  
  e2a239e2
Nov 20, 2018
- self-compiled ocaml is the new default · 0f2e8baa
  Ralf Jung authored 6 years ago
  
  0f2e8baa
Nov 12, 2018
- I meant all the timing jobs · f78ead5b
  Ralf Jung authored 6 years ago
  
  f78ead5b
- compile our own ocaml so that opam doesn't act up the way it usually likes to · 1a00ee7e
  Ralf Jung authored 6 years ago
  
  1a00ee7e