Commits · master · Iris / ci

05 Dec, 2022 3 commits
- CI_RUNNER_TAGS changed format · e256aa2f
  Ralf Jung authored Dec 05, 2022
  
  e256aa2f
- something is wrong with our timing check · 7669a77e
  Ralf Jung authored Dec 05, 2022
  
  7669a77e
- also print the extra Coq flags to the log · 9c597b6f
  Ralf Jung authored Dec 05, 2022
  
  9c597b6f
27 Oct, 2022 2 commits
- unprotected branches won't even have the protected variable so that'd be fine, too · 7de44609
  Ralf Jung authored Oct 27, 2022
  
  7de44609
- establish 'ci-release' as magic ad-hoc release branch · ff3dcf0f
  Ralf Jung authored Oct 27, 2022
  
  ff3dcf0f
07 Oct, 2022 1 commit
- show which packages are installed in the end · 3a390abd
  Ralf Jung authored Oct 07, 2022
  
  3a390abd
17 Aug, 2022 7 commits
- looks like not doing the PINNED_PACKAGES part is enough to avoid the Coq rebuilds · 74349b28
  Ralf Jung authored Aug 17, 2022
  
  74349b28
- remove work-around for an opam issue that should be fixed · 8c0cb81c
  Ralf Jung authored Aug 17, 2022
  
  8c0cb81c
- fix checking whether the repos already exist · c29a89dd
  Ralf Jung authored Aug 17, 2022
  
  c29a89dd
- tweak more verbose logging · 06e2e183
  Ralf Jung authored Aug 17, 2022
  
  06e2e183
- add more logging · 84ead7fa
  Ralf Jung authored Aug 17, 2022
  
  84ead7fa
- don't re-pin Coq all the time · 6aa7a3b4
  Ralf Jung authored Aug 17, 2022
  
  6aa7a3b4
- add back coq-extra-dev · 2e3197ed
  Ralf Jung authored Aug 17, 2022
```
(also why did I do 'opam repo add' when I wanted to remove?!??)
```
  2e3197ed
12 Aug, 2022 1 commit
- we only need the coq dev packages, so avoid picking up other dev packages · d0c65f83
  Ralf Jung authored Aug 12, 2022
  
  d0c65f83
11 Aug, 2022 4 commits
- fix dev version detection regex · 45f3902a
  Ralf Jung authored Aug 11, 2022
  
  45f3902a
- rc versions are also in the dev repos · 1d00cec0
  Ralf Jung authored Aug 11, 2022
  
  1d00cec0
- fix opam dev repo handling · 0a16fb76
  Ralf Jung authored Aug 11, 2022
  
  0a16fb76
- print which repositories we are intending to select · 3c570e21
  Ralf Jung authored Aug 11, 2022
  
  3c570e21
26 Jul, 2022 1 commit
- add the required OCAML variable and fix some Coq version mismatches · 06bc5488
  Lennard Gäher authored Jul 26, 2022
  
  06bc5488
15 Jul, 2022 1 commit
- pin a particular version of dune, so that dune upgrades don't do full rebuilds any more · 314104b8
  Ralf Jung authored Jul 15, 2022
  
  314104b8
16 May, 2022 2 commits
- fix bash syntax · 0b3c1a91
  Ralf Jung authored May 16, 2022
  
  0b3c1a91
- support giving multiple compiler packages · d77fee7a
  Ralf Jung authored May 16, 2022
  
  d77fee7a
07 May, 2022 2 commits
- recommend latest patch release of ocaml 4.07 · 3dd3eb52
  Ralf Jung authored May 07, 2022
  
  3dd3eb52
- require setting the OCaml version · 33ca754b
  Ralf Jung authored May 07, 2022
  
  33ca754b
09 Dec, 2021 1 commit
- require all makefiles to have the 'builddep-opamfiles' target · 8c71f227
  Ralf Jung authored Dec 09, 2021
  
  8c71f227
27 Oct, 2021 3 commits
- Update after actually trying to symlink docker files · 75e3e5bb
  Michael Sammler authored Oct 27, 2021
  
  75e3e5bb
- Merge branch 'master' of gitlab.mpi-sws.org:iris/ci · f524f574
  Michael Sammler authored Oct 27, 2021
  
  f524f574
- add symlinking docker after setup · 1cde4edf
  Michael Sammler authored Oct 27, 2021
  
  1cde4edf
20 Sep, 2021 2 commits
- update link to custom webhook · a232ed5f
  Ralf Jung authored Sep 20, 2021
  
  a232ed5f
- update notes about seccomp filter · afe790e0
  Michael Sammler authored Sep 20, 2021
  
  afe790e0
17 Sep, 2021 1 commit
- add setup instructions for coop · 307a6752
  Lennard Gäher authored Sep 17, 2021
  
  307a6752
09 Aug, 2021 1 commit
- link to server docs · 238e3563
  Ralf Jung authored Aug 09, 2021
  
  238e3563
04 Aug, 2021 1 commit
- tweaks to server docs · 77c5ef34
  Ralf Jung authored Aug 04, 2021
  
  77c5ef34
30 Jul, 2021 1 commit
- document ad-hoc timing · 315695de
  Ralf Jung authored Jul 30, 2021
  
  315695de
27 Jul, 2021 2 commits
- Update srvr-doc.md · 22be7678
  Lennard Gäher authored Jul 27, 2021
  
  22be7678
- Add new file · 546d2db0
  Lennard Gäher authored Jul 27, 2021
  
  546d2db0
11 Jun, 2021 1 commit
- update runner-related information · 2abf8eed
  Ralf Jung authored Jun 11, 2021
  
  2abf8eed
05 Jun, 2021 3 commits
- fix opam log message · cc6b7ac6
  Ralf Jung authored Jun 05, 2021
  
  cc6b7ac6
- fix timing log message · 32755646
  Ralf Jung authored Jun 05, 2021
  
  32755646
- add ad-hoc-timing-id to early debug info · 7a140e62
  Ralf Jung authored Jun 05, 2021
  
  7a140e62