Commits · db1431da2557f58512503b289a527e565679bd0e · Iris / Actris

May 02, 2023
- centrally control the Coq version to test every night · db1431da
  Ralf Jung authored 1 year ago
  
  db1431da
Aug 17, 2022
- bring back speed (now that caching is fixed) · 2d7ce86b
  Ralf Jung authored 2 years ago
  
  2d7ce86b
Aug 16, 2022
- fix OCAML for real · 034a98a4
  Ralf Jung authored 2 years ago
  
  034a98a4
- fix OCAML · f65fa3d7
  Ralf Jung authored 2 years ago
  
  f65fa3d7
- do nightly builds on 8.16 · 39a97e55
  Ralf Jung authored 2 years ago
  
  39a97e55
- let's not use flambda while opam rebuilds Coq each and every time · 18cba701
  Ralf Jung authored 2 years ago
  
  18cba701
May 17, 2022
- use a faster OCaml · d81f4c48
  Ralf Jung authored 2 years ago
  
  d81f4c48
- add (back) timing CI · 6daac903
  Ralf Jung authored 2 years ago
  
  6daac903
May 12, 2022
- publish opam packages · e91d4d7d
  Ralf Jung authored 2 years ago
  
  e91d4d7d
May 11, 2022
- bump the Coq we test · c47dfe5c
  Ralf Jung authored 2 years ago
  
  c47dfe5c
May 08, 2022
- normalize OCaml versions · 2315e87c
  Ralf Jung authored 2 years ago
  
  2315e87c
May 07, 2022
- make ocaml version explicit · 59c450f4
  Ralf Jung authored 2 years ago
  
  59c450f4
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

Revert "test Coq beta branch (since master is broken)" · 5640920d

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