From 7c8fe260832a917ce649c1e5d02f4a1f3596425d Mon Sep 17 00:00:00 2001 From: Akshay Date: Tue, 2 Jul 2024 15:17:46 +0200 Subject: [PATCH] [#754] Temp: FV - disable signature verification --- .github/workflows/certora.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml index 597f74f8f..18cc0cd9b 100644 --- a/.github/workflows/certora.yml +++ b/.github/workflows/certora.yml @@ -15,7 +15,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - rule: ["verifyOwners.sh", "verifySafe.sh", "verifyModules.sh", "verifyNativeTokenRefund.sh", "verifySignatures.sh"] + rule: ["verifyOwners.sh", "verifySafe.sh", "verifyModules.sh", "verifyNativeTokenRefund.sh"] steps: - uses: actions/checkout@v3