Skip to content

Commit

Permalink
Change trigger, rename hash_collision.yml to extended.yml and add…
Browse files Browse the repository at this point in the history
… comments (#13988)

* Rename hash_collision.yml to extended.yml and add comments

* Adjust schedule, add comments

* Update job, rerun
  • Loading branch information
alamb authored Jan 3, 2025
1 parent 63265fd commit fe14e77
Showing 1 changed file with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -38,7 +39,6 @@ jobs:
runs-on: ubuntu-latest
container:
image: amd64/rust
if: github.event.pull_request.merged == true
steps:
- uses: actions/checkout@v4
with:
Expand Down

0 comments on commit fe14e77

Please sign in to comment.