Commits · 5891312bd26c89ce0411a4853b375d8eeaf22e36 · Iris / stdpp

Nov 05, 2021
- officially support 8.14.0 · 1bd19c8c
  Ralf Jung authored 3 years ago
  
  1bd19c8c
Jun 23, 2021
- deny warnings on 8.14 beta · 8eedeb59
  Ralf Jung authored 3 years ago
  
  8eedeb59
- test Coq 8.14 beta branch · db699c57
  Ralf Jung authored 3 years ago
  
  db699c57
Jun 05, 2021
- mark most jobs as interruptible · 10ee8561
  Ralf Jung authored 3 years ago
  
  10ee8561
May 20, 2021
- separate Coq 8.13 MR job from main job · 2948f2b8
  Ralf Jung authored 3 years ago
  
  2948f2b8
- set up CI for MRs · 2b5643ea
  Ralf Jung authored 3 years ago
  
  2b5643ea
- test name mangling on Coq 8.13 · 13a9cc66
  Ralf Jung authored 3 years ago
  
  13a9cc66
May 02, 2021
- re-enable coq.dev CI · d9aa2025
  Ralf Jung authored 3 years ago
  
  d9aa2025
Apr 29, 2021
- disable coq.dev CI as that package is currently broken · 2d7f0238
  Ralf Jung authored 3 years ago
  
  2d7f0238
Apr 22, 2021
- bump Coq version we test to 8.13.2 · 3652e6e8
  Ralf Jung authored 3 years ago
  
  3652e6e8
Feb 24, 2021
- bump CI to Coq 8.13.1 · 510214a8
  Ralf Jung authored 4 years ago
  
  510214a8
Jan 19, 2021
- fix and reject warnings on Coq 8.13 · e7a7f588
  Ralf Jung authored 4 years ago
  
  e7a7f588
Jan 15, 2021
- test on Coq 8.13.0 · 8407f2ca
  Ralf Jung authored 4 years ago
  
  8407f2ca
Nov 26, 2020
- bump CI to Coq 8.12.1 · fd7f5e42
  Ralf Jung authored 4 years ago
  
  fd7f5e42
Nov 15, 2020
- re-enable name mangling check · e88411b5
  Ralf Jung authored 4 years ago
  
  e88411b5
Nov 11, 2020
- disable name mangling while Coq is broken · 15a5a4ef
  Ralf Jung authored 4 years ago
  
  15a5a4ef
- update CI config · 33492bdf
  Ralf Jung authored 4 years ago
  
  33492bdf
Oct 06, 2020
- drop support for Coq 8.8 and 8.9 · 2aa79871
  Ralf Jung authored 4 years ago
  
  2aa79871
Sep 29, 2020
- update CI config · 8b054d9f
  Ralf Jung authored 4 years ago
  
  8b054d9f
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