Fix github directory name

tobgu · Nov 19, 2023 · 48d1a85 · 48d1a85
1 parent 32a4aac
commit 48d1a85
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/github/workflows/ci.yaml → .github/workflows/ci.yaml b/github/workflows/ci.yaml → .github/workflows/ci.yaml