From 0ad11a51bb1388672cd7aae903e6712a374f67f5 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Thu, 2 Jan 2025 13:44:02 -0500 Subject: [PATCH] Adjust schedule, add comments --- .github/workflows/extended.yml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/extended.yml b/.github/workflows/extended.yml index 908bec9d134a..e8621ebeddd2 100644 --- a/.github/workflows/extended.yml +++ b/.github/workflows/extended.yml @@ -23,13 +23,14 @@ concurrency: # https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#running-your-pull_request-workflow-when-a-pull-request-merges # -# this job is intended to only run on merge to main branch +# this job is intended to only run only on the main branch as it is time consuming +# and very rarely fails. However, it is important coverage to ensure correctness +# in the (very rare) event of a hash failure. on: - pull_request: + # Run on all commits to main + push: branches: - main - types: - - closed jobs: # Check answers are correct when hash values collide