Unify Coq CI into a single .yml file

This shares structure a lot more, and will also enable us to (eventually) just check if the generated OCaml code is identical across Coq versions and platforms. Note that we no longer check generated files on most platforms, and we only validate on Coq master.
mit-plv · Dec 26, 2023 · 827916d · 827916d
1 parent 4a84981
commit 827916d
Show file tree

Hide file tree

Showing 8 changed files with 285 additions and 1,209 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml