diff --git a/.github/workflows/verify.yml b/.github/workflows/formal-verifiation.yml
similarity index 94%
rename from .github/workflows/verify.yml
rename to .github/workflows/formal-verifiation.yml
index 0bc89572a..7777fa3b7 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -1,12 +1,11 @@
 name: Certora
 
 on:
-  push:
-    branches:
-      - master
-      - main
-      - certora/erc20
-      - certora/erc1155ext
+  branches:
+    - master
+    - release-v*
+  pull_request: {}
+  workflow_dispatch: {}
 
 jobs:
   verify:
diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 5120aebf5..000000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-    "solidity.compileUsingRemoteVersion": "v0.8.2+commit.661d1103"
-}
\ No newline at end of file