ci: rename ci.yaml to ci.yml (#286)

eifinger · Jul 6, 2023 · daa1db1 · daa1db1
1 parent 637760e
commit daa1db1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml → .github/workflows/ci.yml b/.github/workflows/ci.yaml → .github/workflows/ci.yml