GitHub integration
Reference for how Verify integrates with GitHub.
GitHub App
Verify uses the Aviator GitHub App for repository access. Install it from the Aviator UI under Settings → Integrations → GitHub, or directly from the GitHub Marketplace.
Permissions
The app requests the permissions needed to read code, post checks, and surface verification results on PRs:
Repository contents
Read
Read the diff and source for verification
Pull requests
Read/Write
Surface verification context on PRs
Checks
Read/Write
Create and update the aviator/verify PR check
Metadata
Read
Basic repository info
If you don't see Verify behaving as expected, the most common cause is that the GitHub App doesn't have access to the repo. Change access in GitHub under Organization Settings → Installed GitHub Apps → Aviator → Configure.
The PR check
Every verification run is mirrored to GitHub as a single PR check.
Check name:
aviator/verifyWhere it shows up: the PR's "Checks" tab and the merge-readiness summary. With the Aviator Chrome extension, a Verify tab also appears in the PR tab row for acting on the run from the PR.
Check states
The check state tracks the verification run's status:
pending
queued
Run is enqueued but hasn't started.
in_progress
in_progress
Run is executing.
passed
success
All criteria passed or were waived.
failed
failure
At least one criterion failed without a waiver.
error
failure
The run itself errored — surfaced as a check failure.
deferred
in_progress
Waiting for invariant selection before the run starts.
The check summary links back to the runbook in the Aviator UI for the full review document.
Branch protection
To require verification before merge, add aviator/verify to your repo's branch protection:
Repository Settings → Branches → Add rule (or edit an existing rule for your protected branch).
Enable Require status checks to pass before merging.
Search for and select aviator/verify.
Recommended settings:
See Configuring branch protection for the step-by-step.
See also
Last updated
Was this helpful?