Rename file to add properly yaml extension (#10)

runtimeverification · Oct 8, 2024 · 95057e6 · 95057e6
1 parent 0be69de
commit 95057e6
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/master-push → .github/workflows/master-push.yml b/.github/workflows/master-push → .github/workflows/master-push.yml