Skip to content

Use a pinned ARM engine recipe in normal CI - #200

Merged
andersalm merged 5 commits into
developfrom
fix/0.7.2-arm-engine-ci
Oct 2, 2026
Merged

andersalm merged 5 commits into
developfrom
fix/0.7.2-arm-engine-ci

Conversation

@andersalm

@andersalm andersalm commented Oct 2, 2026 •

Copy link
Copy Markdown
Contributor

PR #133, #136 and #153 now use a pinned ARM engine built in their current CI run. This replaces the expiring standalone artifact from #73. The native ARM job uses the existing pinned llama.cpp recipe and Ubuntu container, validates the archive, and requires a real SmolLM2 reply when it builds. An exact recipe-hash cache avoids repeated builds; only pushes to develop can save it.

All three consumers inherit the same producer change, retain their Ubuntu 22.04 ARM runner and established check name, and verify archive SHA-256 a92e404708feae91cbede43322e445971450de8a204f4ff51502a7f42f5df8b8. Their existing component records use size 6665019. The archive keeps the engine, dependencies and licences; changing checkout provenance stays outside the reproducible archive.

Validation: the native build in run 36961744562 passed architecture/library checks and a real reply. Its original pin check refused the new canonical archive, as intended. Independent inspection verified the digest, 40 safe members, eight ARM64 ELF files, dependency limits and receipts. Eleven policy tests, archive refusal fixtures, all four basic gates and one independent development review passed. Candidate 430e36448835a4a03e57a5c778cebba32240067d, tree f89116384e5f02ae90157da7e1abe835b5ade699, includes the verified pin and checkout receipt fix; run 36964376212 is its current CI gate.

This draft targets develop for #97 and replaces #73. Current CI and an operator-posted different-family adversarial PASS remain required before merge. The prepared 2 October Jetson attempt remains a separate hardware proof with its fixed inputs.

@andersalm

Copy link
Copy Markdown
Contributor Author

This producer is now in develop through PR #133's normal merge 829a24ad7ed3617eb3a48083e0b5cda627b8b9e9, whose tested candidate has operator Claude PASS and all nine CI jobs green.
Exact #200 head 430e36448835a4a03e57a5c778cebba32240067d is an ancestor of that merge; git rev-list --count develop..430e3644 is 0 and the three-dot diff is empty. The recipe blob is identical (80ef2e2467e9ec4d6e9744643cddcce3607e6525); the archive pin, exact recipe cache and three consumer inputs are retained.
#97 records the integrated result and remaining hardware/cache observation. This draft and its branch stay intact for owner disposition; this session has made no separate merge or closure of #200.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant