From 813effead584e2899dc9538f0c35720bebf12fbd Mon Sep 17 00:00:00 2001 From: yoavelmalem Date: Thu, 9 Jan 2025 14:31:08 +0200 Subject: [PATCH] Remove from CI --- .github/workflows/CI.yml | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 6e06f8b..da13db2 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -11,13 +11,16 @@ on: jobs: Regression: if: | - ( - (github.event_name == 'pull_request_review' && github.event.review.state == 'approved') || - (github.event_name == 'pull_request' && - (github.event.pull_request.user.login == 'nivcertora' || - github.event.pull_request.user.login == 'liav-certora') - ) - ) && +# ( +# (github.event_name == 'pull_request_review' && github.event.review.state == 'approved') || +# (github.event_name == 'pull_request' && +# (github.event.pull_request.user.login == 'nivcertora' || +# github.event.pull_request.user.login == 'liav-certora') +# ) +# ) && +# github.event.pull_request.base.ref == 'main' + github.event_name == 'pull_request_review' && + github.event.review.state == 'approved') && github.event.pull_request.base.ref == 'main' env: ETHSCAN_API_KEY: ${{ secrets.ETHSCAN_API_KEY }}