Hydra failures for packages maintained by thoughtpolice

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
bigloobigloo-4.4baarch64-darwinFailed
coccinellecoccinelle-1.1.0aarch64-darwinTimed out
leanlean-3.43.0aarch64-darwinFailed
lean3lean-3.43.0aarch64-darwinFailed
libressl_3_5libressl-3.5.2aarch64-darwinFailed
ntpntp-4.2.8p15aarch64-darwinFailed
smlnjsmlnj-110.95x86_64-darwinFailed
tbbtbb-2020.3aarch64-darwinFailed

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
coqcoq-8.15.2aarch64-darwinDependency failed
coqcoq-8.15.2x86_64-darwinDependency failed
coq_8_10coq-8.10.2aarch64-darwinDependency failed
coq_8_15coq-8.15.2x86_64-darwinDependency failed
coq_8_15coq-8.15.2aarch64-darwinDependency failed
coq_8_7coq-8.7.2aarch64-darwinDependency failed
coq_8_8coq-8.8.2aarch64-darwinDependency failed
coq_8_9coq-8.9.1aarch64-darwinDependency failed
coqPackages.coqcoq-8.15.2aarch64-darwinDependency failed
coqPackages.coqcoq-8.15.2x86_64-darwinDependency failed
framacframa-c-24.0x86_64-darwinDependency failed
framacframa-c-24.0aarch64-darwinDependency failed
gitolitegitolite-3.6.12aarch64-darwinDependency failed
why3why3-1.5.0x86_64-darwinDependency failed
why3why3-1.5.0aarch64-darwinDependency failed