Commits · master · Iris / ci

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 5 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
- add support for ad-hoc timing · 8d9e688c
  Ralf Jung authored Jun 05, 2021
  
  8d9e688c
- print some more debug info · c3489f09
  Ralf Jung authored Jun 05, 2021
  
  c3489f09
04 Jun, 2021 2 commits
- CI state should be fixed now · c3e83edd
  Ralf Jung authored Jun 04, 2021
  
  c3e83edd
- temporary dev-repo-cleanup · dc9ddbbc
  Ralf Jung authored Jun 04, 2021
  
  dc9ddbbc
28 May, 2021 4 commits
- update nightly build config recommendations · 1db2924c
  Ralf Jung authored May 28, 2021
  
  1db2924c
- update docs · c7d3f1cb
  Ralf Jung authored May 28, 2021
  
  c7d3f1cb
- support for pinning entire git repos, and adjust the way our nightly jobs look · 822ab697
  Ralf Jung authored May 28, 2021
  
  822ab697
- add '@REPO' to CI template · 784fdee7
  Ralf Jung authored May 28, 2021
  
  784fdee7
20 May, 2021 1 commit
- use CI_COMMIT_BRANCH instead of CI_COMMIT_REF_NAME (preparing for merge pipelines) · f8cda8eb
  Ralf Jung authored May 20, 2021
  
  f8cda8eb
06 Oct, 2020 1 commit
- adjust to new-style package builddep name · b968ab46
  Ralf Jung authored Oct 06, 2020
  
  b968ab46
30 Sep, 2020 1 commit
- use absolute path for TIMECMD · 82035bb9
  Ralf Jung authored Sep 30, 2020
  
  82035bb9
29 Sep, 2020 1 commit
- switch to a more standard name for the opam root dir · 8abf93d7
  Ralf Jung authored Sep 29, 2020
  
  8abf93d7
26 Sep, 2020 5 commits
- explain debug output a bit · aee446e7
  Ralf Jung authored Sep 26, 2020
  
  aee446e7
- update opam repo URL · fe93ded0
  Ralf Jung authored Sep 26, 2020
  
  fe93ded0
- print more information on failure · 1b4f7cb5
  Ralf Jung authored Sep 26, 2020
  
  1b4f7cb5
- adjust for updated opam package script · 64bce399
  Ralf Jung authored Sep 26, 2020
  
  64bce399
- Support repositories with mutliple opam files · a0695a43
  Ralf Jung authored Sep 26, 2020
  
  a0695a43
03 Sep, 2020 5 commits
- catch CI job name / Coq version mismatches · 697e472e
  Ralf Jung authored Sep 03, 2020
  
  697e472e
- Revert "silence "no common root" warning" · 20c554e6
  Ralf Jung authored Sep 03, 2020
```
This reverts commit c5ff6a3e.
It did not work (needs to be set as a coq_makefile option) so I moved the flag to the _CoqProject file instead.
```
  20c554e6
- silence "no common root" warning · c5ff6a3e
  Ralf Jung authored Sep 03, 2020
  
  c5ff6a3e
- fix typo · 8e88c64f
  Ralf Jung authored Sep 03, 2020
  
  8e88c64f
- add an option to fail the build in case of Coq warnings · bd549a16
  Ralf Jung authored Sep 03, 2020
  
  bd549a16
30 Aug, 2020 2 commits
- show in log that we mangle names · 18e9c970
  Ralf Jung authored Aug 30, 2020
  
  18e9c970
- tweak name mangling settings · 47dd00d1
  Ralf Jung authored Aug 30, 2020
  
  47dd00d1
28 Aug, 2020 1 commit
- fix configuring git exclude · 0e0b707d
  Ralf Jung authored Aug 28, 2020
  
  0e0b707d