Commits · opam2 · Iris / ci

Oct 28, 2024
- that version of dune was too new apparently... · 0ba3bd2c
  Ralf Jung authored 4 months ago
  
  0ba3bd2c
- bump the dune version we use · a5ac35aa
  Ralf Jung authored 4 months ago
  
  a5ac35aa
Oct 02, 2024
- Add note about dune pin to readme · 34e02562
  Lennard Gäher authored 5 months ago
  
  34e02562
Jul 11, 2024
- Update README.md · b25fe30b
  Lennard Gäher authored 8 months ago
  
  b25fe30b
- Update srvr-doc.md · 93c21d6f
  Lennard Gäher authored 8 months ago
  
  93c21d6f
- update server docs · b439c858
  Lennard Gäher authored 8 months ago
  
  Verified
  
  b439c858
- remove python2.7 from image · 920cb09d
  Lennard Gäher authored 8 months ago
  
  Signed-off-by: Lennard Gäher <l.gaeher@posteo.de>
  Verified
  
  920cb09d
Jul 09, 2024
- update dockerfile to bookworm · 0f495c4d
  Lennard Gäher authored 8 months ago
  
  Verified
  
  0f495c4d
Jun 06, 2024
- update opam version · f78fdfb7
  Lennard Gäher authored 9 months ago
  
  f78fdfb7
May 29, 2024
- Update srvr-doc.md · 48969f74
  Lennard Gäher authored 9 months ago
  
  48969f74
May 28, 2024
- Update srvr-doc.md · 3ddc442c
  Lennard Gäher authored 9 months ago
  
  3ddc442c
- add steps to set up coq-speed · d1b73e99
  Lennard Gäher authored 9 months ago
  
  d1b73e99
Dec 26, 2023

Revert "remove work-around for an opam issue that should be fixed" · 192ba186

Ralf Jung authored 1 year ago

This reverts commit 8c0cb81c.
I'm seeing strange opam behavior (https://github.com/ocaml/opam/issues/5773), maybe this is that bug again.

192ba186

Jul 25, 2023
- update opam in Docker file · 89e405fa
  Michael Sammler authored 1 year ago
  
  89e405fa
- Add python3-distutils to docker image since they are required by z3 · a03a7968
  Michael Sammler authored 1 year ago
  
  a03a7968
Jul 17, 2023
- explain the dune pin · 05e74a8e
  Ralf Jung authored 1 year ago
  
  05e74a8e
- only run .v files in perf · 24b691a9
  Michael Sammler authored 1 year ago
  
  24b691a9
- update the dune version to make coq lang 0.8 available · 9c5c1b0e
  Michael Sammler authored 1 year ago
  
  9c5c1b0e
Jun 08, 2023
- update srvr-doc.md · 2fed84d4
  Michael Sammler authored 1 year ago
  
  2fed84d4
- Merge branch 'docker' into 'opam2' · 8b46dec2
  Michael Sammler authored 1 year ago
  
  update README and add docker file to this repo See merge request !5
  8b46dec2
Jun 05, 2023
- update README and add docker file to this repo · 35ac399f
  Ralf Jung authored 1 year ago
  
  35ac399f
May 30, 2023
- remove master · e39a5d81
  Lennard Gäher authored 1 year ago
  
  e39a5d81
- Merge branch 'lennard/opam2-safe-dir' into 'opam2' · 78afddd6
  Lennard Gäher authored 1 year ago
  
  add safe dir for build directory See merge request !4
  78afddd6
- add safe dir for build directory · 1f280273
  Lennard Gäher authored 1 year ago
  
  1f280273
Mar 20, 2023
- Merge branch 'master' into 'master' · c6cdd8bc
  Michael Sammler authored 1 year ago
  
  Change `buildjob` to accomodate external timing runners See merge request !2
  c6cdd8bc
- Change `buildjob` to accommodate external timing runners · dc2c70af
  Ike Mulder authored 1 year ago and Michael Sammler committed 1 year ago
  
  dc2c70af
Dec 05, 2022
- CI_RUNNER_TAGS changed format · e256aa2f
  Ralf Jung authored 2 years ago
  
  e256aa2f
- something is wrong with our timing check · 7669a77e
  Ralf Jung authored 2 years ago
  
  7669a77e
- also print the extra Coq flags to the log · 9c597b6f
  Ralf Jung authored 2 years ago
  
  9c597b6f
Oct 27, 2022
- unprotected branches won't even have the protected variable so that'd be fine, too · 7de44609
  Ralf Jung authored 2 years ago
  
  7de44609
- establish 'ci-release' as magic ad-hoc release branch · ff3dcf0f
  Ralf Jung authored 2 years ago
  
  ff3dcf0f
Oct 07, 2022
- show which packages are installed in the end · 3a390abd
  Ralf Jung authored 2 years ago
  
  3a390abd
Aug 17, 2022
- looks like not doing the PINNED_PACKAGES part is enough to avoid the Coq rebuilds · 74349b28
  Ralf Jung authored 2 years ago
  
  74349b28
- remove work-around for an opam issue that should be fixed · 8c0cb81c
  Ralf Jung authored 2 years ago
  
  8c0cb81c
- fix checking whether the repos already exist · c29a89dd
  Ralf Jung authored 2 years ago
  
  c29a89dd
- tweak more verbose logging · 06e2e183
  Ralf Jung authored 2 years ago
  
  06e2e183
- add more logging · 84ead7fa
  Ralf Jung authored 2 years ago
  
  84ead7fa
- don't re-pin Coq all the time · 6aa7a3b4
  Ralf Jung authored 2 years ago
  
  6aa7a3b4
- add back coq-extra-dev · 2e3197ed
  Ralf Jung authored 2 years ago
  
  (also why did I do 'opam repo add' when I wanted to remove?!??)
  2e3197ed
Aug 12, 2022
- we only need the coq dev packages, so avoid picking up other dev packages · d0c65f83
  Ralf Jung authored 2 years ago
  
  d0c65f83