Skip to content

Commit 5399435

Browse files
committed
run prover workflow only on PRs
1 parent 598bca8 commit 5399435

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

.github/workflows/prover.yml

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,6 @@
11
name: Run prover guest code checks
22

3-
on:
4-
pull_request:
5-
merge_group:
6-
push:
7-
branches: [main]
3+
on: pull_request
84

95
permissions: {}
106

0 commit comments

Comments
 (0)