Skip to content

Run the Axiom parity check on pull requests (warn-only) #2249

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
MaxGhenis wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Run the Axiom parity check on pull requests (warn-only) #2249

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
fd73f39
Run the Axiom parity check on pull requests (warn-only)
MaxGhenis Oct 10, 2026
82a4db3
Point the Axiom parity caller at the PolicyEngine/.github#9 branch un…
MaxGhenis Oct 10, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/PULL_REQUEST_TEMPLATE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ Fixes #
- [ ] `make format`
- [ ] Changelog fragment in `changelog.d/`

<!-- Required for any change to policy (programmes, parameters, eligibility, bug fixes). See .github/CONTRIBUTING.md ("Axiom parity"). Keep one standard option below, or use axiom: needed if you are an external contributor who cannot complete the Axiom work; a maintainer will follow up. -->
axiom: <legal id> encoded-correct | <rulespec-uk PR> encoded | <rulespec-uk issue> queued | n/a: <reason>
<!-- Required for any change to policy (programmes, parameters, eligibility, bug fixes). See .github/CONTRIBUTING.md ("Axiom parity"). Keep one option below (several claims can share the line, separated by `;`), or use axiom: needed if you are an external contributor who cannot complete the Axiom work; a maintainer will follow up. The Axiom parity check verifies the line and comments with suggestions; n/a categories are listed in PolicyEngine/.github CONTRIBUTING. -->
axiom: <legal id> encoded-correct (<companion test>) | <rulespec-uk PR> encoded | <rulespec-uk issue> queued | n/a: <category>: <reason>
21 changes: 21 additions & 0 deletions .github/workflows/axiom-parity.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
# Checks the PR description's axiom: line (PolicyEngine/.github CONTRIBUTING,
# "Mirror policy changes in Axiom") and suggests one. Warn-only for now: it
# reports what would fail in the job summary and never blocks merging.
name: Axiom parity

on:
pull_request:
types: [opened, edited, synchronize, reopened, ready_for_review]

permissions:
contents: read

jobs:
axiom-parity:
uses: PolicyEngine/.github/.github/workflows/axiom-parity.yml@axiom-parity-check
with:
mode: warn
tooling-ref: axiom-parity-check
permissions:
contents: read
pull-requests: write
1 change: 1 addition & 0 deletions changelog.d/axiom-parity-check.changed.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Run the Axiom parity check on pull requests (warn-only for now) and show the canonical axiom line in the PR template.
Loading