Hydra failures for packages maintained by sirabenHydra failures for packages maintained by sirabenJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| libticables2 | libticables2-1.3.5 | aarch64-darwin | Failed |
| mozwire | MozWire-0.7.0 | aarch64-darwin | Failed |
| spasm-ng | spasm-ng-unstable-2020-08-03 | aarch64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| coqPackages.aac-tactics | coq8.15-aac-tactics-8.15.1 | aarch64-darwin | Dependency failed |
| coqPackages.aac-tactics | coq8.15-aac-tactics-8.15.1 | x86_64-darwin | Dependency failed |
| coqPackages.autosubst | coq8.15-autosubst-1.7 | aarch64-darwin | Dependency failed |
| coqPackages.autosubst | coq8.15-autosubst-1.7 | x86_64-darwin | Dependency failed |
| coqPackages.coqtail-math | coq8.15-coqtail-math-8.14 | aarch64-darwin | Dependency failed |
| coqPackages.coqtail-math | coq8.15-coqtail-math-8.14 | x86_64-darwin | Dependency failed |
| coqPackages.fourcolor | coq8.15-fourcolor-1.2.4 | aarch64-darwin | Dependency failed |
| coqPackages.fourcolor | coq8.15-fourcolor-1.2.4 | x86_64-darwin | Dependency failed |
| coqPackages.goedel | coq8.15-goedel-8.13.0 | aarch64-darwin | Dependency failed |
| coqPackages.goedel | coq8.15-goedel-8.13.0 | x86_64-darwin | Dependency failed |
| coqPackages.graph-theory | coq8.15-graph-theory-0.9 | aarch64-darwin | Dependency failed |
| coqPackages.graph-theory | coq8.15-graph-theory-0.9 | x86_64-darwin | Dependency failed |
| coqPackages.hierarchy-builder | coq8.15-hierarchy-builder-1.2.1 | aarch64-darwin | Dependency failed |
| coqPackages.hierarchy-builder | coq8.15-hierarchy-builder-1.2.1 | x86_64-darwin | Dependency failed |
| coqPackages.hydra-battles | coq8.15-hydra-battles-0.6 | x86_64-darwin | Dependency failed |
| coqPackages.hydra-battles | coq8.15-hydra-battles-0.6 | aarch64-darwin | Dependency failed |
| coqPackages.itauto | coq8.15-itauto-8.15.0 | aarch64-darwin | Dependency failed |
| coqPackages.itauto | coq8.15-itauto-8.15.0 | x86_64-darwin | Dependency failed |
| coqPackages.odd-order | coq8.15-odd-order-1.13.0 | aarch64-darwin | Dependency failed |
| coqPackages.odd-order | coq8.15-odd-order-1.13.0 | x86_64-darwin | Dependency failed |
| coqPackages.pocklington | coq8.15-pocklington-8.12.0 | x86_64-darwin | Dependency failed |
| coqPackages.pocklington | coq8.15-pocklington-8.12.0 | aarch64-darwin | Dependency failed |
| coqPackages.reglang | coq8.15-reglang-1.1.2 | x86_64-darwin | Dependency failed |
| coqPackages.reglang | coq8.15-reglang-1.1.2 | aarch64-darwin | Dependency failed |
| coqPackages.relation-algebra | coq8.15-relation-algebra-1.7.7 | aarch64-darwin | Dependency failed |
| coqPackages.relation-algebra | coq8.15-relation-algebra-1.7.7 | x86_64-darwin | Dependency failed |
| coqPackages.semantics | coq8.15-semantics-8.14.0 | aarch64-darwin | Dependency failed |
| coqPackages.semantics | coq8.15-semantics-8.14.0 | x86_64-darwin | Dependency failed |
| coqPackages.smpl | coq8.15-smpl-8.15 | x86_64-darwin | Dependency failed |
| coqPackages.smpl | coq8.15-smpl-8.15 | aarch64-darwin | Dependency failed |
| coqPackages.topology | coq8.15-topology-9.0.0 | x86_64-darwin | Dependency failed |
| coqPackages.topology | coq8.15-topology-9.0.0 | aarch64-darwin | Dependency failed |
| coqPackages.trakt | coq8.15-trakt-1.0 | aarch64-darwin | Dependency failed |
| coqPackages.trakt | coq8.15-trakt-1.0 | x86_64-darwin | Dependency failed |
| coqPackages.zorns-lemma | coq8.15-zorns-lemma-9.0.0 | aarch64-darwin | Dependency failed |
| coqPackages.zorns-lemma | coq8.15-zorns-lemma-9.0.0 | x86_64-darwin | Dependency failed |
| libticalcs2 | libticalcs2-1.1.9 | aarch64-darwin | Dependency failed |
| tilem | tilem-2.0 | aarch64-darwin | Dependency failed |