workflow trigger

.github/workflows/verify.yml → .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:

.vscode/settings.json

@@ -1,3 +0,0 @@
-{
-    "solidity.compileUsingRemoteVersion": "v0.8.2+commit.661d1103"
-}