Commits · cbf73155b62e1b1f590c9a3e1e4932f32abfc255 · Lennard Gäher / Iris

13 Jul, 2018 1 commit
- bring CI back to normal · cbf73155
  Ralf Jung authored Jul 13, 2018
  
  cbf73155
07 Jul, 2018 1 commit
- Coq master is fixed · a7de5f7b
  Ralf Jung authored Jul 07, 2018
  
  a7de5f7b
05 Jul, 2018 1 commit
- disable building against coq.dev as upstream is currently broken · 3130384d
  Ralf Jung authored Jul 06, 2018
```
See https://github.com/coq/coq/issues/8003
```
  3130384d
26 Jun, 2018 1 commit
- don't check output on testsuite at all when running against 8.9 · 52c96f45
  Ralf Jung authored Jun 26, 2018
  
  52c96f45
20 Jun, 2018 1 commit
- change the way we generate test reference files · dbf8321a
  Ralf Jung authored Jun 20, 2018
  
  dbf8321a
18 Jun, 2018 1 commit
- test against Coq 8.8 development branch · 598b8449
  Ralf Jung authored Jun 18, 2018
  
  598b8449
14 Jun, 2018 1 commit
- Stop timing on Coq 8.7 · 7badb484
  Ralf Jung authored Jun 14, 2018
```
This should help speed up our CI by putting fewer jobs on fp-timing
```
  7badb484
17 May, 2018 1 commit
- don't check test output on coq.dev (it's broken due to a Coq bug) · 1342eb50
  Ralf Jung authored May 17, 2018
  
  1342eb50
18 Apr, 2018 5 commits
- test against Coq 8.8.0 · 5d40b106
  Ralf Jung authored Apr 18, 2018
  
  5d40b106
- drop support for Coq 8.6; use the ssreflect that ships with Coq · ccb21344
  Ralf Jung authored Apr 18, 2018
  
  ccb21344
- Revert most of "test against Coq 8.8.0, update CI" · 1c09a14c
  Ralf Jung authored Apr 18, 2018
```
This reverts commit 45162e5a.
We have to wait until ssreflect makes an 8.8-compatible release.
```
  1c09a14c
- test against Coq 8.8.0; updated CI · 7adbdee1
  Ralf Jung authored Apr 18, 2018
  
  7adbdee1
- test against Coq 8.8.0, update CI · 45162e5a
  Ralf Jung authored Apr 18, 2018
  
  45162e5a
09 Apr, 2018 1 commit
- only run coqchk in one job · 31358801
  Ralf Jung authored Apr 09, 2018
  
  31358801
06 Apr, 2018 2 commits
- move OPAM_PKG to the 8.8+beta1 job as that one is spawned first · 87135ffc
  Ralf Jung authored Apr 06, 2018
  
  87135ffc
- also time against Coq 8.8 beta · b2581988
  Ralf Jung authored Apr 06, 2018
  
  b2581988
24 Mar, 2018 5 commits
- update CI: use centralized CI repo; submiting timing to coq-speed · f5854570
  Ralf Jung authored Mar 24, 2018
  
  f5854570
- we can't use variables in 'only:', so go back to OPAM_PKG_BRANCH · 812e9c44
  Ralf Jung authored Mar 24, 2018
  
  812e9c44
- update CI: use dedicated buildjob script, submit timing information to coq-speed · 2cc7b4d8
  Ralf Jung authored Mar 24, 2018
  
  2cc7b4d8
- CI needs submodules now · 5361ad82
  Ralf Jung authored Mar 24, 2018
  
  5361ad82
- move CI scripts to submodule · a44b4c8c
  Ralf Jung authored Mar 24, 2018
  
  a44b4c8c
22 Mar, 2018 1 commit
- CI: test Coq 8.8 branch · 9ca430f6
  Ralf Jung authored Mar 22, 2018
  
  9ca430f6
21 Feb, 2018 2 commits
- CI: also test Coq 8.7.2 · da432bbf
  Ralf Jung authored Feb 21, 2018
  
  da432bbf
- CI: test against Coq 8.7.2 · d43ba2b1
  Ralf Jung authored Feb 21, 2018
  
  d43ba2b1
16 Feb, 2018 2 commits
- CI: prepare for nightly std++ builds · 6bea9ad2
  Ralf Jung authored Feb 16, 2018
  
  6bea9ad2
- CI: treat schedules like triggers; rely on nightly build for iris-examples like everything else · 9a47eae0
  Ralf Jung authored Feb 16, 2018
  
  9a47eae0
15 Feb, 2018 3 commits
- fix opam publishing · 8ffd6918
  Ralf Jung authored Feb 15, 2018
  
  8ffd6918
- update CI · 96ab3ac7
  Ralf Jung authored Feb 15, 2018
  
  96ab3ac7
- CI: use more cores · 41febeaa
  Ralf Jung authored Feb 15, 2018
  
  41febeaa
13 Feb, 2018 2 commits
- more parallel CI · 4dc44dae
  Ralf Jung authored Feb 13, 2018
  
  4dc44dae
- update CI; time Coq 8.7.1 · 9a35c9a5
  Ralf Jung authored Feb 13, 2018
  
  9a35c9a5
06 Feb, 2018 1 commit
- CI: build against coq master instead of 8.7.dev branch · d328e59e
  Ralf Jung authored Feb 06, 2018
  
  d328e59e
16 Jan, 2018 1 commit
- Coq 8.7.1 · 584f9f96
  Jacques-Henri Jourdan authored Jan 16, 2018
  
  584f9f96
18 Dec, 2017 1 commit
- test agains 8.7.1 · 5ad6c3b9
  Ralf Jung authored Dec 18, 2017
  
  5ad6c3b9
11 Dec, 2017 1 commit
- CI: first build, then publish · f3ebdb6a
  Ralf Jung authored Dec 11, 2017
  
  f3ebdb6a
29 Nov, 2017 1 commit
- don't delay opam publishing until after the 8.7.dev build · 8f1c4c86
  Ralf Jung authored Nov 29, 2017
  
  8f1c4c86
28 Nov, 2017 2 commits
- no longer CI coqchk, it is just broken in too many ways · d4f723f3
  Ralf Jung authored Nov 28, 2017
  
  d4f723f3
- disable coqchk, it fails with a stack overflow · 2250df5c
  Ralf Jung authored Nov 28, 2017
  
  2250df5c
14 Nov, 2017 1 commit
- Use the version of ssreflect that's shipped with Coq 8.7. · f506c2fa
  Robbert Krebbers authored Nov 14, 2017
  
  f506c2fa
07 Nov, 2017 1 commit
- update to ssreflect 1.6.4 · f781a4bb
  Ralf Jung authored Nov 07, 2017
  
  f781a4bb