rename workflow file

mobusoperandi · May 8, 2022 · dc76069 · dc76069
1 parent 118dde1
commit dc76069
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml → ...kflows/on-push-to-master-or-pr-branch.yml b/.github/workflows/ci.yml → ...kflows/on-push-to-master-or-pr-branch.yml