Hydra failures for packages maintained by sertelHydra failures for packages maintained by sertelJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| None 🎉 | |||
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.coqPackages.ssprove.aarch64-darwin | coq9.1-ssprove-0.3.1 | aarch64-darwin | Dependency failed |
| nixpkgs.rocqPackages.ssprove.aarch64-darwin | coq9.1-ssprove-0.3.1 | aarch64-darwin | Dependency failed |