Skip to content

ci: AIEN workflow verifies Alpha tags; PR checks are advisory - #117

Merged
aien-spark merged 1 commit into
mainfrom
ci/alpha-stage
Oct 24, 2026
Merged

aien-spark merged 1 commit into
mainfrom
ci/alpha-stage

Conversation

@aien-spark

Copy link
Copy Markdown
Collaborator

Replaces the old Spark-as-merge-judge workflow (Drake 2026-10-24: nothing on GitHub gates a merge). AIEN Checks runs advisory crumb verify and, for enrolled repos, the portable smoke set named at origin/main on pull requests and pushes to main; no bundle fetch, NOT_RUN, or BLOCKED_OPERATOR logic remains. AIEN Alpha runs on pushed alpha/* tags: requires the tagged commit to be on main, fetches its signed Spark bundle from aien-receipts, and runs aien-test verify-bundle --require-full (aien-test pin a51042b61b87355c0850ef82ba409a46e153a1ff) against the origin/main trust anchors. Crumb tool pin unchanged.

Validation run:

python3 -c 'import yaml,sys; yaml.safe_load(open(sys.argv[1]))' .github/workflows/aien-verification.yml   # ok
actionlint .github/workflows/aien-verification.yml   # v1.7.7, no findings
crumb verify .   # OK (crumb compile . first where stale)

echo "verify.pub (origin/main): $(cat "$RUNNER_TEMP/anchors/verify.pub")"

- name: Install Stable Rust Toolchain (for the pinned aien-test build)
uses: dtolnay/rust-toolchain@stable
@aien-spark
aien-spark merged commit a68300c into main Oct 24, 2026
6 checks passed
@aien-spark
aien-spark deleted the ci/alpha-stage branch October 24, 2026 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants