Skip to content

ci(coq): switch coq-build to noble apt — fix coqc-not-found on --user…

09db77f
Select commit
Loading
Failed to load commit list.
Merged

ci(coq): switch coq-build to noble apt — fix coqc-not-found unblocking ~5 PRs #282

ci(coq): switch coq-build to noble apt — fix coqc-not-found on --user…
09db77f
Select commit
Loading
Failed to load commit list.