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

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

fix/coq-build-apt-noblehyperpolymath/ephapax:fix/coq-build-apt-nobleCopy head branch name to clipboard