diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml index 402c686f..7dd0e679 100644 --- a/.github/workflows/sel4test-sim.yml +++ b/.github/workflows/sel4test-sim.yml @@ -14,7 +14,7 @@ on: pull_request: # Cancel older runs to reduce the load. The workflow also runs on pushes to -# the master brnach, but skipping or cancellation will not happen there +# the master branch, but skipping or cancellation will not happen there # practically due to the unique run ID. concurrency: group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.number) || format('run-{0}', github.run_id) }}