No need to re-run checks on main

They've already been done in the PR. Ironically, I'm going to push this directly to main.
jonhoo · Dec 27, 2024 · 9c7ca7b · 9c7ca7b
1 parent fc8174a
commit 9c7ca7b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -11,8 +11,6 @@ permissions:
 # the new branch. Restricting the push trigger to the main branch ensures that the PR only gets
 # built once.
 on:
-  push:
-    branches: [main]
   pull_request:
     paths:
       - 'server/**'