Hydra failures for packages maintained by siraben

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
libticables2libticables2-1.3.5aarch64-darwinFailed
mozwireMozWire-0.7.0aarch64-darwinFailed
spasm-ngspasm-ng-unstable-2020-08-03aarch64-darwinFailed

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
coqPackages.aac-tacticscoq8.15-aac-tactics-8.15.1aarch64-darwinDependency failed
coqPackages.aac-tacticscoq8.15-aac-tactics-8.15.1x86_64-darwinDependency failed
coqPackages.autosubstcoq8.15-autosubst-1.7aarch64-darwinDependency failed
coqPackages.autosubstcoq8.15-autosubst-1.7x86_64-darwinDependency failed
coqPackages.coqtail-mathcoq8.15-coqtail-math-8.14aarch64-darwinDependency failed
coqPackages.coqtail-mathcoq8.15-coqtail-math-8.14x86_64-darwinDependency failed
coqPackages.fourcolorcoq8.15-fourcolor-1.2.4aarch64-darwinDependency failed
coqPackages.fourcolorcoq8.15-fourcolor-1.2.4x86_64-darwinDependency failed
coqPackages.goedelcoq8.15-goedel-8.13.0aarch64-darwinDependency failed
coqPackages.goedelcoq8.15-goedel-8.13.0x86_64-darwinDependency failed
coqPackages.graph-theorycoq8.15-graph-theory-0.9aarch64-darwinDependency failed
coqPackages.graph-theorycoq8.15-graph-theory-0.9x86_64-darwinDependency failed
coqPackages.hierarchy-buildercoq8.15-hierarchy-builder-1.2.1aarch64-darwinDependency failed
coqPackages.hierarchy-buildercoq8.15-hierarchy-builder-1.2.1x86_64-darwinDependency failed
coqPackages.hydra-battlescoq8.15-hydra-battles-0.6x86_64-darwinDependency failed
coqPackages.hydra-battlescoq8.15-hydra-battles-0.6aarch64-darwinDependency failed
coqPackages.itautocoq8.15-itauto-8.15.0aarch64-darwinDependency failed
coqPackages.itautocoq8.15-itauto-8.15.0x86_64-darwinDependency failed
coqPackages.odd-ordercoq8.15-odd-order-1.13.0aarch64-darwinDependency failed
coqPackages.odd-ordercoq8.15-odd-order-1.13.0x86_64-darwinDependency failed
coqPackages.pocklingtoncoq8.15-pocklington-8.12.0x86_64-darwinDependency failed
coqPackages.pocklingtoncoq8.15-pocklington-8.12.0aarch64-darwinDependency failed
coqPackages.reglangcoq8.15-reglang-1.1.2x86_64-darwinDependency failed
coqPackages.reglangcoq8.15-reglang-1.1.2aarch64-darwinDependency failed
coqPackages.relation-algebracoq8.15-relation-algebra-1.7.7aarch64-darwinDependency failed
coqPackages.relation-algebracoq8.15-relation-algebra-1.7.7x86_64-darwinDependency failed
coqPackages.semanticscoq8.15-semantics-8.14.0aarch64-darwinDependency failed
coqPackages.semanticscoq8.15-semantics-8.14.0x86_64-darwinDependency failed
coqPackages.smplcoq8.15-smpl-8.15x86_64-darwinDependency failed
coqPackages.smplcoq8.15-smpl-8.15aarch64-darwinDependency failed
coqPackages.topologycoq8.15-topology-9.0.0x86_64-darwinDependency failed
coqPackages.topologycoq8.15-topology-9.0.0aarch64-darwinDependency failed
coqPackages.traktcoq8.15-trakt-1.0aarch64-darwinDependency failed
coqPackages.traktcoq8.15-trakt-1.0x86_64-darwinDependency failed
coqPackages.zorns-lemmacoq8.15-zorns-lemma-9.0.0aarch64-darwinDependency failed
coqPackages.zorns-lemmacoq8.15-zorns-lemma-9.0.0x86_64-darwinDependency failed
libticalcs2libticalcs2-1.1.9aarch64-darwinDependency failed
tilemtilem-2.0aarch64-darwinDependency failed