Skip to content

Commit

Permalink
Merge pull request #25 from alamb/alamb/comments3
Browse files Browse the repository at this point in the history
Update job, rerun
  • Loading branch information
alamb authored Jan 2, 2025
2 parents 264f4c5 + 53cc05c commit 285ceff
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 285ceff

Please sign in to comment.