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
-
-
-
-