Rename action

cryspen · Mar 15, 2024 · 25563f0 · 25563f0
1 parent 0d2cff7
commit 25563f0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/docker-action.yml → ...hub/workflows/coq-hacspec-ssprove-lib.yml b/.github/workflows/docker-action.yml → ...hub/workflows/coq-hacspec-ssprove-lib.yml