diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index e8faa5bf8..c103524a8 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -25,3 +25,6 @@ Description of the changes here. ## What this fixes and how it's fixed Description of how this fix works goes here. Link any issues this PR fixes. + + +axiom: encoded-correct () | encoded | queued | n/a: : diff --git a/.github/workflows/axiom-parity.yaml b/.github/workflows/axiom-parity.yaml new file mode 100644 index 000000000..1b4288f13 --- /dev/null +++ b/.github/workflows/axiom-parity.yaml @@ -0,0 +1,20 @@ +# 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@main + with: + mode: warn + permissions: + contents: read + pull-requests: write diff --git a/changelog.d/axiom-parity-check.changed.md b/changelog.d/axiom-parity-check.changed.md new file mode 100644 index 000000000..931292c15 --- /dev/null +++ b/changelog.d/axiom-parity-check.changed.md @@ -0,0 +1 @@ +Run the Axiom parity check on pull requests (warn-only for now) and add the axiom line to the PR template.