Automated releases for PI, bmv2, and p4c are implemented as a workflow in this repo. PRs are opened, but the workflow doesn't run automatically.
The documented solution is to create and install a GitHub App:
If you do want to trigger a workflow from within a workflow run, you can use a GitHub App installation access token [...] instead of GITHUB_TOKEN to trigger events that require a token. [This] also lets pull_request workflows run automatically (without the approval prompt described above) when the pull request is created or updated by automation.
This is a simple operation, but it must be done at the organization level (github.com/p4lang).
Following the above quote:
If you use a GitHub App, you'll need to create a GitHub App and store the app ID and private key as secrets. For more information, see Making authenticated API requests with a GitHub App in a GitHub Actions workflow.
Automated releases for PI, bmv2, and p4c are implemented as a workflow in this repo. PRs are opened, but the workflow doesn't run automatically.
The documented solution is to create and install a GitHub App:
This is a simple operation, but it must be done at the organization level (github.com/p4lang).
Following the above quote: