From b9df652f89c145011b86479f854e18d08605fe9a Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Thu, 2 Jan 2025 13:39:27 -0500 Subject: [PATCH 1/2] Rename hash_collision.yml to extended.yml and add comments --- .github/workflows/{hash_collisions.yml => extended.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{hash_collisions.yml => extended.yml} (100%) diff --git a/.github/workflows/hash_collisions.yml b/.github/workflows/extended.yml similarity index 100% rename from .github/workflows/hash_collisions.yml rename to .github/workflows/extended.yml From 0ad11a51bb1388672cd7aae903e6712a374f67f5 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Thu, 2 Jan 2025 13:44:02 -0500 Subject: [PATCH 2/2] 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 908bec9d134aa..e8621ebeddd2e 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