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 25, 2023 · dc1b2e5 · dc1b2e5
1 parent 4dd29f6
commit dc1b2e5
Show file tree

Hide file tree

Showing 7 changed files with 274 additions and 1,207 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