remove the push workflow

As requested by @amirbilu
codota · Nov 6, 2023 · 010d4cb · 010d4cb
1 parent ad13e2e
commit 010d4cb
Showing 1 changed file with 0 additions and 21 deletions.
diff --git a/.github/workflows/lua-format-push.yml b/.github/workflows/lua-format-push.yml