Rename ci.yaml to ci.yml

hfaran · Oct 22, 2023 · 042a57d · 042a57d
1 parent ec93798
commit 042a57d
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