fixup! split PR and push CIs

andrewazores · Nov 7, 2023 · 8f19c83 · 8f19c83
1 parent dbcfb57
commit 8f19c83
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/pr-ci.yaml → .github/workflows/pr-ci.yaml b/pr-ci.yaml → .github/workflows/pr-ci.yaml