Hydra failures for packages maintained by Coda-CodaHydra failures for packages maintained by Coda-CodaJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.lean4.aarch64-darwin | lean4-4.30.0 | aarch64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| None 🎉 | |||