Rename opam CI to CI (Coq, opam)

mit-plv · Oct 9, 2024 · 821a8fe · 821a8fe
1 parent 76e0813
commit 821a8fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -1,4 +1,4 @@
-name: Test opam package
+name: CI (Coq, opam)
 
 # Note that we must split up each command into a separate step for Windows, because otherwise we don't get error code
 # See also https://github.com/avsm/setup-ocaml/issues/72