Skip to content
Live Provers

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest #977

Sign in to view logs

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest #977

Triggered via pull request August 5, 2026 13:28
@hyperpolymathhyperpolymath
synchronize #344
chore/estate-topup
Status Failure
Total duration 55m 42s
Artifacts –

live-provers.yml

on: pull_request
T1 Guix manifest check
37s
T1 Guix manifest check
T4 niche provers
0s
T4 niche provers
Matrix: tier1
Matrix: tier2
Matrix: tier3
Matrix: tier4-gpu
Fit to window
Zoom out
Zoom in

Annotations

9 errors
T1 / eprover
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / chuffed
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / vampire
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / alt-ergo
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / cvc5
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / minizinc
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / glpk
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / z3
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag
T1 / spass
lockfile verification did not produce a result for this action. Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain` does not match ref `stable`. Ensure the pinned commit exists on the expected branch or tag