Skip to content

Drop x86_64-darwin and promote the aarch64-linux CI leg - #2

Merged
jwiegley merged 1 commit into
mainfrom
johnw/ci-intel-runner
Sep 22, 2026
Merged

jwiegley merged 1 commit into
mainfrom
johnw/ci-intel-runner

Drop x86_64-darwin and promote the aarch64-linux CI leg

7cf4940
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build oracle and check proofs (macos-latest)
succeeded Sep 22, 2026 in 11m 58s