From 56c355ea8b9489717e1b41361a039a1b61c74ae6 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 9 Sep 2022 13:47:16 +0200
Subject: [PATCH] fix

---
 .github/workflows/changelog.yml          |  1 -
 .github/workflows/formal-verifiation.yml | 13 +++++--------
 2 files changed, 5 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
index 9f2503bfd..3523a2a06 100644
--- a/.github/workflows/changelog.yml
+++ b/.github/workflows/changelog.yml
@@ -25,4 +25,3 @@ jobs:
             echo 'Missing changelog entry'
             exit 1
           fi
-
diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 7777fa3b7..3c9fe6fac 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -1,9 +1,10 @@
-name: Certora
+name: formal verification
 
 on:
-  branches:
-    - master
-    - release-v*
+  push:
+    branches:
+      - master
+      - release-v*
   pull_request: {}
   workflow_dispatch: {}
 
@@ -58,7 +59,3 @@ jobs:
           - Round3/verifyERC1155Pausable.sh
           - Round3/verifyInitializable.sh
           - Round3/verifyGovernorPreventLateQuorum.sh
-
-
-
-