add Alpine CI (#1625)

mit-plv · Nov 10, 2023 · 06d5b70 · 06d5b70
1 parent cc0c10c
commit 06d5b70
Showing 1 changed file with 49 additions and 0 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml