Renaming yaml file

coq · Dec 20, 2023 · c4bd553 · c4bd553
1 parent 4f0a01f
commit c4bd553
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/macos.yml → .github/workflows/macos-arm.yml b/.github/workflows/macos.yml → .github/workflows/macos-arm.yml