From 10022da83d75a5ae0cae5222dced463a6678cf61 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Wed, 3 May 2023 16:13:42 +0200
Subject: [PATCH] Disable automatic formal verification workflow on push
 (#4208)

---
 .github/workflows/formal-verification.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index f94152a52..ae5eba006 100644
--- 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