Hydra failures for packages maintained by thoughtpoliceHydra failures for packages maintained by thoughtpoliceJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| bigloo | bigloo-4.4b | aarch64-darwin | Failed |
| coccinelle | coccinelle-1.1.0 | aarch64-darwin | Timed out |
| lean | lean-3.43.0 | aarch64-darwin | Failed |
| lean3 | lean-3.43.0 | aarch64-darwin | Failed |
| libressl_3_5 | libressl-3.5.2 | aarch64-darwin | Failed |
| ntp | ntp-4.2.8p15 | aarch64-darwin | Failed |
| smlnj | smlnj-110.95 | x86_64-darwin | Failed |
| tbb | tbb-2020.3 | aarch64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| coq | coq-8.15.2 | aarch64-darwin | Dependency failed |
| coq | coq-8.15.2 | x86_64-darwin | Dependency failed |
| coq_8_10 | coq-8.10.2 | aarch64-darwin | Dependency failed |
| coq_8_15 | coq-8.15.2 | x86_64-darwin | Dependency failed |
| coq_8_15 | coq-8.15.2 | aarch64-darwin | Dependency failed |
| coq_8_7 | coq-8.7.2 | aarch64-darwin | Dependency failed |
| coq_8_8 | coq-8.8.2 | aarch64-darwin | Dependency failed |
| coq_8_9 | coq-8.9.1 | aarch64-darwin | Dependency failed |
| coqPackages.coq | coq-8.15.2 | aarch64-darwin | Dependency failed |
| coqPackages.coq | coq-8.15.2 | x86_64-darwin | Dependency failed |
| framac | frama-c-24.0 | x86_64-darwin | Dependency failed |
| framac | frama-c-24.0 | aarch64-darwin | Dependency failed |
| gitolite | gitolite-3.6.12 | aarch64-darwin | Dependency failed |
| why3 | why3-1.5.0 | x86_64-darwin | Dependency failed |
| why3 | why3-1.5.0 | aarch64-darwin | Dependency failed |