Commits · 7e0807676e0ca33bcd56bb54e9a33a2fcc3f7dbe · Jonas Kastberg / iris

28 Oct, 2017 2 commits
- fix Coq version number · 7e080767
  Ralf Jung authored Oct 28, 2017
  
  7e080767
- test agains release Coq 8.7 and ssreflect 1.6.2 · 04d4bac4
  Ralf Jung authored Oct 28, 2017
  
  04d4bac4
19 Oct, 2017 5 commits
- move barrier to new iris-examples repo; test that repo after each Iris commit · 53d0af97
  Ralf Jung authored Oct 19, 2017
  
  53d0af97
- CI: rename REV parameter to IRIS_REV for iris.dev builds · edc6c653
  Ralf Jung authored Oct 19, 2017
  
  edc6c653
- CI: sync · b08c8422
  Ralf Jung authored Oct 19, 2017
  
  b08c8422
- CI: rename jobs for consistency · 568f01fc
  Ralf Jung authored Oct 19, 2017
  
  568f01fc
- reverse-deps trigger: set Iris revision · 74c0698f
  Ralf Jung authored Oct 19, 2017
  
  74c0698f
18 Oct, 2017 4 commits
- trigger an iris-atomic build in the deploy stage · 0eecccb0
  Ralf Jung authored Oct 18, 2017
  
  0eecccb0
- fix typo in .gitlab-ci.yml · 4ea80338
  Ralf Jung authored Oct 18, 2017
  
  4ea80338
- rename 2nd stage · 826cb1a9
  Ralf Jung authored Oct 18, 2017
  
  826cb1a9
- update CI system · 3bb9d015
  Ralf Jung authored Oct 18, 2017
  
  3bb9d015
27 Sep, 2017 3 commits
- fix YAML even more · 9518c8df
  Ralf Jung authored Sep 27, 2017
  
  9518c8df
- fix YAML · e2c19f15
  Ralf Jung authored Sep 27, 2017
  
  e2c19f15
- CI tuning · fe018e31
  Ralf Jung authored Sep 27, 2017
  
  fe018e31
19 Sep, 2017 2 commits
- CI: tweaks · 842e85c0
  Ralf Jung authored Sep 19, 2017
  
  842e85c0
- new build-dep handling without opam.pins · 12012db9
  Ralf Jung authored Sep 19, 2017
  
  12012db9
18 Sep, 2017 1 commit
- CI: depend on std++ via opam; prepare for automatic opam releases · 8f8796c0
  Ralf Jung authored Sep 18, 2017
  
  8f8796c0
22 Aug, 2017 6 commits
- update regexp for coq 8.7 · 2e2c5c25
  Ralf Jung authored Aug 22, 2017
  
  2e2c5c25
- Also test against Coq 8.7 · d72a39c8
  Ralf Jung authored Aug 22, 2017
  
  d72a39c8
- require Coq 8.6.1 · 3b4865f8
  Ralf Jung authored Aug 22, 2017
  
  3b4865f8
- rename template; it is actually fairly generic · df425156
  Ralf Jung authored Aug 22, 2017
  
  df425156
- test both 8.6 and 8.6.1 · 58a2f3b6
  Ralf Jung authored Aug 22, 2017
  
  58a2f3b6
- CI: use Coq 8.6.1 · 6b532ec5
  Ralf Jung authored Aug 22, 2017
  
  6b532ec5
12 May, 2017 1 commit
- keep building as many files as possible · 07cf3665
  Ralf Jung authored May 12, 2017
  
  07cf3665
14 Mar, 2017 1 commit
- CI config: run CI on all branches starting with 'CI' · 81a673c6
  Ralf Jung authored Mar 14, 2017
  
  81a673c6
20 Feb, 2017 1 commit
- use new CI machine · 48f8e008
  Ralf Jung authored Feb 20, 2017
  
  48f8e008
16 Feb, 2017 1 commit
- we totally did not record timing in artifacts since we switched to 8.6-only... · f42d7b3e
  Ralf Jung authored Feb 16, 2017
  
  f42d7b3e
17 Jan, 2017 2 commits
- fix YAML · 6a39300e
  Ralf Jung authored Jan 17, 2017
  
  6a39300e
- *oops* we stopped recording per-file compile times on the CI when we disabled 8.5... · dd2af4f3
  Ralf Jung authored Jan 17, 2017
  
  dd2af4f3
13 Jan, 2017 1 commit
- avoid re-downloading already properly pinned packages · b5fa9b29
  Ralf Jung authored Jan 13, 2017
  
  b5fa9b29
11 Jan, 2017 1 commit
- no longer test on or support Coq 8.5 · 8706664d
  Ralf Jung authored Jan 11, 2017
  
  8706664d
05 Jan, 2017 1 commit
- fix CI testing for axioms in build output · 6db2ae8e
  Ralf Jung authored Jan 05, 2017
  
  6db2ae8e
21 Dec, 2016 1 commit
- ssreflect 1.6.1 is out :) · 69d1bf6f
  Ralf Jung authored Dec 21, 2016
  
  69d1bf6f
18 Dec, 2016 3 commits
- CI: script spacing · 2e3a9be0
  Ralf Jung authored Dec 18, 2016
  
  2e3a9be0
- fix coq 8.6 CI job name · c4712cad
  Ralf Jung authored Dec 18, 2016
  
  c4712cad
- build against the released Coq 8.6 · 8fd9c718
  Ralf Jung authored Dec 18, 2016
  
  8fd9c718
14 Dec, 2016 3 commits
- do make validate with just 10% probability · 0b97288f
  Ralf Jung authored Dec 14, 2016
  
  0b97288f
- fix CI · 4717ce6e
  Ralf Jung authored Dec 14, 2016
  
  4717ce6e
- re-enable make validate on CI · 1d2880b3
  Ralf Jung authored Dec 14, 2016
  
  1d2880b3
12 Dec, 2016 1 commit
- fix CI · b890654a
  Ralf Jung authored Dec 12, 2016
  
  b890654a