From c0479d9ace45e7e91bb7de96deb8ab6df98799f7 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Mon, 2 Aug 2021 14:28:19 -0700
Subject: Skip Formal CI checks via Github Actions not commit message (#2308)

---
 .github/workflows/test.yml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to '.github/workflows')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d04f7e05..b89de3bb 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -87,6 +87,11 @@ jobs:
       - name: Cache Scala
         uses: coursier/cache-action@v5
       - name: Run Formal Equivalence
+        # This is here instead of on the whole job because if a job is skipped, so are dependent jobs
+        # If this job were skipped, all_tests_passed would be skipped to
+        # By having this "if" here, this job returns success so that all_tests_passed will succeed too
+        if: github.event_name == 'pull_request' &&
+            ! contains(github.event.pull_request.labels.*.name, 'Skip Formal CI')
         run: ./.run_formal_checks.sh ${{ matrix.design }}
 
   # Sentinel job to simplify how we specify which checks need to pass in branch
-- 
cgit v1.2.3