Hydra failures for packages maintained by CohenCyrilHydra failures for packages maintained by CohenCyrilJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.coqPackages.metarocq-template-rocq.aarch64-darwin | coq9.0-metarocq-template-rocq-1.4-9.0.1 | aarch64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.coqPackages.metarocq-erasure-plugin.aarch64-darwin | coq9.0-metarocq-erasure-plugin-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq-erasure.aarch64-darwin | coq9.0-metarocq-erasure-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq-quotation.aarch64-darwin | coq9.0-metarocq-quotation-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq-safechecker-plugin.aarch64-darwin | coq9.0-metarocq-safechecker-plugin-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq-template-pcuic.aarch64-darwin | coq9.0-metarocq-template-pcuic-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq-translations.aarch64-darwin | coq9.0-metarocq-translations-1.4-9.0.1 | aarch64-darwin | Dependency failed |
| nixpkgs.coqPackages.metarocq.aarch64-darwin | coq9.0-metarocq-1.4-9.0.1 | aarch64-darwin | Dependency failed |