Disable automatic formal verification workflow on push (#4208)

2023-05-03 16:13:42 +02:00
parent 538655c3c0
commit 10022da83d
1 changed files with 0 additions and 4 deletions
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@ -1,10 +1,6 @@
 name: formal verification

 on:
-  push:
-    branches:
-      - master
-      - release-v*
  pull_request:
    types:
      - opened