Remove push to main workflow

rfoel · Feb 16, 2024 · 1eda81b · 1eda81b
1 parent da8a53e
commit 1eda81b
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/.github/workflows/push-main.yml b/.github/workflows/push-main.yml