Commits · 01a342bdb93b6bb1879f35175ce11632da1f2ac7 · Iris / Actris

Dec 08, 2021
- do nightly builds with Coq 8.14.dev for now · 01a342bd
  Ralf Jung authored 3 years ago
  
  01a342bd
Jun 29, 2021
- turns out this is warning-free · e61bd6e9
  Ralf Jung authored 3 years ago
  
  e61bd6e9
- switch CI to Coq 8.13 · a428389f
  Ralf Jung authored 3 years ago
  
  a428389f
Jun 05, 2021
- adjust to new job naming scheme · d40f6cc6
  Ralf Jung authored 3 years ago
  
  d40f6cc6
May 28, 2021
- support build-testing against forks · 6add79dc
  Ralf Jung authored 3 years ago
  
  6add79dc
May 19, 2021
- dont run CI on forks · 10e9b2b0
  Ralf Jung authored 3 years ago
  
  10e9b2b0
May 03, 2021
- Revert "coq.dev is not stable enough for regular CI" · 80e12301
  Ralf Jung authored 3 years ago
  
  This reverts commit d481ab7a. coq.dev is fixed.
  80e12301
Apr 30, 2021
- coq.dev is not stable enough for regular CI · d481ab7a
  Ralf Jung authored 3 years ago
  
  d481ab7a
Feb 17, 2021

Ralf Jung authored 4 years ago

This reverts commit 1226aa9c.
https://github.com/coq/coq/issues/13732 is supposed to be fixed; let's see.

5640920d

Jan 11, 2021
- test Coq beta branch (since master is broken) · 1226aa9c
  Ralf Jung authored 4 years ago
  
  1226aa9c
Nov 11, 2020
- also update nightly build · d1589881
  Ralf Jung authored 4 years ago
  
  d1589881
Sep 29, 2020
- update CI config · a35e41df
  Ralf Jung authored 4 years ago
  
  a35e41df
Sep 15, 2020
- bump Coq version · 5d799b6f
  Ralf Jung authored 4 years ago
  
  5d799b6f
Sep 03, 2020
- deny warnings (and bump Coq to 8.11.2) · 336e0ea1
  Ralf Jung authored 4 years ago
  
  336e0ea1
Apr 24, 2020
- Bump Coq version of CI. · c05ce971
  Robbert Krebbers authored 4 years ago
  
  c05ce971
Nov 07, 2019
- Use Coq 8.10.1 for CI · d5d512c3
  Robbert Krebbers authored 5 years ago
  
  d5d512c3
Nov 02, 2019
- fix ocaml version · 6b7d0781
  Ralf Jung authored 5 years ago
  
  6b7d0781
- adjust CI to README · a6a076b8
  Ralf Jung authored 5 years ago
  
  a6a076b8
Oct 31, 2019
- no timing · 42a0486d
  Ralf Jung authored 5 years ago
  
  42a0486d
- let's stick to 1 job per pipeline · c7403ab9
  Ralf Jung authored 5 years ago
  
  c7403ab9
Oct 17, 2019
- CI file. · 0a60e14c
  Robbert Krebbers authored 5 years ago
  
  0a60e14c