Hydra failures for packages maintained by vbglHydra failures for packages maintained by vbglJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.coq_8_7.aarch64-linux | coq-8.7.2 | aarch64-linux | Failed |
| nixpkgs.coq_8_7.x86_64-linux | coq-8.7.2 | x86_64-linux | Failed |
| nixpkgs.coq_8_8.aarch64-linux | coq-8.8.2 | aarch64-linux | Failed |
| nixpkgs.coq_8_8.x86_64-linux | coq-8.8.2 | x86_64-linux | Failed |
| nixpkgs.coq_8_9.aarch64-linux | coq-8.9.1 | aarch64-linux | Failed |
| nixpkgs.coq_8_9.x86_64-linux | coq-8.9.1 | x86_64-linux | Failed |
| nixpkgs.ocamlPackages.llvm.aarch64-darwin | ocaml-llvm-21.1.8 | aarch64-darwin | Failed |
| nixpkgs.ocamlPackages_latest.llvm.aarch64-darwin | ocaml-llvm-21.1.8 | aarch64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.coq_8_14.aarch64-darwin | coq-8.14.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coq_8_15.aarch64-darwin | coq-8.15.2 | aarch64-darwin | Dependency failed |