Skip to content

CI programme R1: build or restore the compiler pair once per run (seed job) #13515

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

Merged
briansrls merged 9 commits into from
Oct 7, 2026
Merged

CI programme R1: build or restore the compiler pair once per run (seed job) #13515

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
0bf0a89
WIP R1: seed job builds or restores the compiler pair once per run
Oct 6, 2026
96dd88a
R1: regenerate witnesses.yml with the seed job; fix env typing
Oct 6, 2026
fdeead9
R1: emit-build builds its own gunbc (gunbc test freshness guard canno…
Oct 6, 2026
eadef61
R1: correct seed-lane prose (candidate producer, roster, citation)
Oct 6, 2026
09ab6df
R1: typed checker-inputs sidecar pack member so the floor's checker-s…
Oct 7, 2026
b32d3b6
R1: --write-checker-inputs names an output file; do not require it to…
Oct 7, 2026
1b28b5b
Merge main into session/snappy-ibex-32; regenerate witnesses.yml
Oct 7, 2026
a878bd6
R1: write the checker-inputs sidecar in the shared pack path so every…
Oct 7, 2026
4f4a3c6
Merge main into session/snappy-ibex-32; regenerate witnesses.yml
Oct 7, 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
10 changes: 8 additions & 2 deletions .github/workflows/fleet-converge.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -382,6 +382,7 @@ jobs:
'printf' '%s' 'claim_executor
gunbc
build_diagnostics
claim_executor_checker_inputs
' > "$RUNNER_TEMP"'/release-bins.roster'
'tar' '-tzf' "$STAGE"'/release-bins.tgz' > "$RUNNER_TEMP"'/pack-listing.out'
'cmp' '-s' "$RUNNER_TEMP"'/pack-listing.out' "$RUNNER_TEMP"'/release-bins.roster' || ('echo' '::error title=release-bins PackListingNotRoster::the stored pack'\''s archive listing is not exactly the roster (an extra, duplicate, directory or escaping entry)'; exit 1)
Expand All @@ -402,6 +403,7 @@ jobs:
'mkdir' '-p' "$ROOT"'/target/release'
('cd' "$ROOT"'/target/release' && 'rm' '-f' 'claim_executor' 'gunbc')
('cd' "$STAGE"'/unpacked' && 'cp' '-p' 'claim_executor' 'gunbc' "$ROOT"'/target/release/')
('cd' "$STAGE"'/unpacked' && 'cp' '-p' 'claim_executor_checker_inputs' "$ROOT"'/target/release/')
'rm' '-rf' "$STAGE"'/unpacked'
'echo' 'release-bins: stored pack verified and promoted'
'sha256sum' "$STAGE"'/release-bins.manifest' > "$RUNNER_TEMP"'/OUTPUT_DIGEST.out'
Expand Down Expand Up @@ -544,8 +546,10 @@ jobs:
'mkdir' '-p' "$STAGE"
'[' '-s' "$ROOT"'/gunbc-floor-cmd.log' ']' || ('echo' '::error title=release-bins BuildDiagnosticsMissing::the product requires the build log gunbc-floor-cmd.log as a pack member and the build step left none; a pack without its diagnostics is incomplete, not smaller'; exit 1)
'cp' "$ROOT"'/gunbc-floor-cmd.log' "$ROOT"'/target/release/build_diagnostics'
('cd' "$ROOT"'/target/release' && 'sha256sum' 'claim_executor' 'gunbc' 'build_diagnostics') > "$STAGE"'/release-bins.manifest'
'tar' '-czf' "$STAGE"'/release-bins.tgz' '-C' "$ROOT"'/target/release' 'claim_executor' 'gunbc' 'build_diagnostics'
'./target/release/claim_executor' '--write-checker-inputs' "$ROOT"'/target/release/claim_executor_checker_inputs'
'[' '-s' "$ROOT"'/target/release/claim_executor_checker_inputs' ']' || ('echo' '::error title=release-bins SidecarMissing::the product requires the sidecar claim_executor_checker_inputs as a pack member and the producing job left none; a pack without it is incomplete, not smaller'; exit 1)
('cd' "$ROOT"'/target/release' && 'sha256sum' 'claim_executor' 'gunbc' 'build_diagnostics' 'claim_executor_checker_inputs') > "$STAGE"'/release-bins.manifest'
'tar' '-czf' "$STAGE"'/release-bins.tgz' '-C' "$ROOT"'/target/release' 'claim_executor' 'gunbc' 'build_diagnostics' 'claim_executor_checker_inputs'
'cp' "$RUNNER_TEMP"'/release-bins.preimage.expected' "$STAGE"'/release-bins.preimage'
'sha256sum' "$STAGE"'/release-bins.manifest' > "$RUNNER_TEMP"'/OUTPUT_DIGEST.out'
OUTPUT_DIGEST=$('cut' '-d' ' ' '-f' '1' "$RUNNER_TEMP"'/OUTPUT_DIGEST.out')
Expand Down Expand Up @@ -627,6 +631,7 @@ jobs:
'printf' '%s' 'claim_executor
gunbc
build_diagnostics
claim_executor_checker_inputs
' > "$RUNNER_TEMP"'/release-bins.roster'
'tar' '-tzf' "$RUNNER_TEMP"'/release-bins-download/release-bins.tgz' > "$RUNNER_TEMP"'/pack-listing.out'
'cmp' '-s' "$RUNNER_TEMP"'/pack-listing.out' "$RUNNER_TEMP"'/release-bins.roster' || ('echo' '::error title=release-bins PackListingNotRoster::the downloaded pack'\''s archive listing is not exactly the roster (an extra, duplicate, directory or escaping entry)'; exit 1)
Expand All @@ -647,6 +652,7 @@ jobs:
'mkdir' '-p' "$ROOT"'/target/release'
('cd' "$ROOT"'/target/release' && 'rm' '-f' 'claim_executor' 'gunbc')
('cd' "$RUNNER_TEMP"'/release-bins-check' && 'cp' '-p' 'claim_executor' 'gunbc' "$ROOT"'/target/release/')
('cd' "$RUNNER_TEMP"'/release-bins-check' && 'cp' '-p' 'claim_executor_checker_inputs' "$ROOT"'/target/release/')
'rm' '-rf' "$RUNNER_TEMP"'/release-bins-check'
"$ROOT"'/target/release/claim_executor' '--verify-build-artifacts' "$ROOT"'/target/release/claim_executor' "$ROOT"'/target/release/gunbc'

Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/fleet-desired.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -87,6 +87,7 @@ jobs:
'printf' '%s' 'claim_executor
gunbc
build_diagnostics
claim_executor_checker_inputs
' > "$RUNNER_TEMP"'/release-bins.roster'
'tar' '-tzf' "$RUNNER_TEMP"'/canonical-pack/release-bins.tgz' > "$RUNNER_TEMP"'/pack-listing.out'
'cmp' '-s' "$RUNNER_TEMP"'/pack-listing.out' "$RUNNER_TEMP"'/release-bins.roster' || ('echo' '::error title=release-bins PackListingNotRoster::the downloaded pack'\''s archive listing is not exactly the roster (an extra, duplicate, directory or escaping entry)'; exit 1)
Expand All @@ -107,6 +108,7 @@ jobs:
'mkdir' '-p' "$ROOT"'/target/release'
('cd' "$ROOT"'/target/release' && 'rm' '-f' 'claim_executor' 'gunbc')
('cd' "$RUNNER_TEMP"'/canonical-check' && 'cp' '-p' 'claim_executor' 'gunbc' "$ROOT"'/target/release/')
('cd' "$RUNNER_TEMP"'/canonical-check' && 'cp' '-p' 'claim_executor_checker_inputs' "$ROOT"'/target/release/')
'rm' '-rf' "$RUNNER_TEMP"'/canonical-check'
"$ROOT"'/target/release/claim_executor' '--verify-build-artifacts' "$ROOT"'/target/release/claim_executor' "$ROOT"'/target/release/gunbc'
'echo' 'release-bins: canonical gunbc.compiler_pair_release_bins pack verified and promoted'
Expand Down
Loading
Loading