github: remove push trigger for PR action

The push trigger on the PR actual was used previously for the `rt` branch. Branch testing is now on the main deployment action. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 23, 2024 · 91dd139 · 91dd139
1 parent e22430f
commit 91dd139
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
@@ -5,10 +5,6 @@
 name: Proof PR
 
 on:
-  push:
-    paths-ignore:
-      - '**.md'
-      - '**.txt'
   # this action needs access to secrets.
   # The actual test runs in a no-privilege VM, so it's Ok to run on untrusted PRs.
   pull_request_target: