Hydra failures for packages maintained by jthulhuHydra failures for packages maintained by jthulhuJump 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 |
| nixpkgs.lean4.aarch64-linux | lean4-4.30.0 | aarch64-linux | Failed |
| nixpkgs.lean4.x86_64-linux | lean4-4.30.0 | x86_64-linux | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| None 🎉 | |||