diff --git a/.github/workflows/docker-action.yml b/.github/workflows/coq-hacspec-ssprove-lib.yml
similarity index 100%
rename from .github/workflows/docker-action.yml
rename to .github/workflows/coq-hacspec-ssprove-lib.yml