rm .github/workflows/coq.yml

mit-plv · Dec 6, 2024 · 1e36197 · 1e36197
1 parent 8ab716a
commit 1e36197
Showing 1 changed file with 0 additions and 68 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml