From f22bbbc2dbb207aaed4a63654605f714a3aa34c7 Mon Sep 17 00:00:00 2001 From: iamsahu Date: Tue, 22 Oct 2024 15:04:04 +0200 Subject: [PATCH] chore: fixed the certora github action --- .github/workflows/Certora.yaml | 31 +++++++++++++++++++------------ 1 file changed, 19 insertions(+), 12 deletions(-) diff --git a/.github/workflows/Certora.yaml b/.github/workflows/Certora.yaml index 71f82757..21a83362 100644 --- a/.github/workflows/Certora.yaml +++ b/.github/workflows/Certora.yaml @@ -1,5 +1,12 @@ name: Certora verification +on: + push: + paths: + - "contracts/**" + - "lib/**" + - ".github/**" + jobs: verify: runs-on: ubuntu-latest @@ -18,8 +25,8 @@ jobs: - name: Install python uses: actions/setup-python@v2 with: - python-version: '3.10' - cache: 'pip' + python-version: "3.10" + cache: "pip" - name: Install certora run: pip3 install certora-cli @@ -43,13 +50,13 @@ jobs: fail-fast: false max-parallel: 4 matrix: - params: - - {name: AllowlistV1, command: 'AllowlistV1.conf'} - - {name: OperatorRegistryV1_1, command: 'OperatorRegistryV1_1.conf'} - - {name: OperatorRegistryV1_2_2loops, command: 'OperatorRegistryV1_2_2loops.conf'} - - {name: OperatorRegistryV1_2_4loops_v1, command: 'OperatorRegistryV1_2_4loops_v1.conf'} - - {name: OperatorRegistryV1_2_4loops_v2, command: 'OperatorRegistryV1_2_4loops_v2.conf'} - - {name: OperatorRegistryV1_3, command: 'OperatorRegistryV1_3.conf'} - - {name: RedeemManagerV1, command: 'RedeemManagerV1.conf'} - - {name: RiverV1, command: 'RiverV1.conf'} - - {name: SharesManagerV1, command: 'SharesManagerV1.conf'} \ No newline at end of file + params: + - { name: AllowlistV1, command: "AllowlistV1.conf" } + - { name: OperatorRegistryV1_1, command: "OperatorRegistryV1_1.conf" } + - { name: OperatorRegistryV1_2_2loops, command: "OperatorRegistryV1_2_2loops.conf" } + - { name: OperatorRegistryV1_2_4loops_v1, command: "OperatorRegistryV1_2_4loops_v1.conf" } + - { name: OperatorRegistryV1_2_4loops_v2, command: "OperatorRegistryV1_2_4loops_v2.conf" } + - { name: OperatorRegistryV1_3, command: "OperatorRegistryV1_3.conf" } + - { name: RedeemManagerV1, command: "RedeemManagerV1.conf" } + - { name: RiverV1, command: "RiverV1.conf" } + - { name: SharesManagerV1, command: "SharesManagerV1.conf" }