[dist] Rename? No, not it

flatiron · Jan 18, 2024 · f62814a · f62814a
1 parent 7812370
commit f62814a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/ci2.yaml → .github/workflows/ci.yaml b/.github/workflows/ci2.yaml → .github/workflows/ci.yaml