From 64eb150de3061095508ac45a06e494a5b4c68039 Mon Sep 17 00:00:00 2001 From: nisnislevi Date: Sun, 12 Nov 2023 14:54:41 +0200 Subject: [PATCH] fix .yml --- .github/workflows/certora.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml index 9d22df7..97688a8 100644 --- a/.github/workflows/certora.yml +++ b/.github/workflows/certora.yml @@ -3,7 +3,6 @@ name: certora on: push: branches: - - main - certora pull_request: branches: