Hydra failures for packages maintained by layusHydra failures for packages maintained by layusJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result | Related PRs |
|---|---|---|---|---|
| None 🎉 | ||||
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.dafny.aarch64-darwin | Dafny-4.11.0 | aarch64-darwin | Dependency failed |