Skip to content
PR number update

Allowing multiple errors to be reported in one pass of the context_free phase #484

Sign in to view logs

Allowing multiple errors to be reported in one pass of the context_free phase

Allowing multiple errors to be reported in one pass of the context_free phase #484

Workflow file for this run

.github/workflows/pr-number.yml at 4368cdc
name: PR number update
on: [pull_request_target]
jobs:
PR-Number-Update:
name: Update PR number
runs-on: ubuntu-20.04
steps:
- uses: tarides/[email protected]