From 3aa0a015d18c44d25328226b9cc8ccdb732c19f3 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 9 Sep 2022 13:28:49 +0200
Subject: [PATCH] workflow trigger

---
 .../workflows/{verify.yml => formal-verifiation.yml}  | 11 +++++------
 .vscode/settings.json                                 |  3 ---
 2 files changed, 5 insertions(+), 9 deletions(-)
 rename .github/workflows/{verify.yml => formal-verifiation.yml} (94%)
 delete mode 100644 .vscode/settings.json

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