Hydra failures for packages maintained by cohencyril

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

None 🎉
AttributeJob namePlatformResult

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
coqPackages.coq-elpicoq8.15-elpi-1.13.0aarch64-darwinDependency failed
coqPackages.coq-elpicoq8.15-elpi-1.13.0x86_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.mathcompcoq8.15-mathcomp-all-1.14.0x86_64-darwinDependency failed
coqPackages.mathcompcoq8.15-mathcomp-all-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-abelcoq8.15-mathcomp1.14-abel-1.2.0aarch64-darwinDependency failed
coqPackages.mathcomp-abelcoq8.15-mathcomp1.14-abel-1.2.0x86_64-darwinDependency failed
coqPackages.mathcomp-algebracoq8.15-mathcomp-algebra-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-algebracoq8.15-mathcomp-algebra-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-analysiscoq8.15-mathcomp1.14-analysis-0.3.13x86_64-darwinDependency failed
coqPackages.mathcomp-analysiscoq8.15-mathcomp1.14-analysis-0.3.13aarch64-darwinDependency failed
coqPackages.mathcomp-charactercoq8.15-mathcomp-character-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-charactercoq8.15-mathcomp-character-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-fieldcoq8.15-mathcomp-field-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-fieldcoq8.15-mathcomp-field-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-fingroupcoq8.15-mathcomp-fingroup-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-fingroupcoq8.15-mathcomp-fingroup-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-solvablecoq8.15-mathcomp-solvable-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-solvablecoq8.15-mathcomp-solvable-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-ssreflectcoq8.15-mathcomp-ssreflect-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-ssreflectcoq8.15-mathcomp-ssreflect-1.14.0x86_64-darwinDependency failed
coqPackages.mathcomp-zifycoq8.15-mathcomp1.14-zify-1.1.0+1.12+8.13aarch64-darwinDependency failed
coqPackages.mathcomp-zifycoq8.15-mathcomp1.14-zify-1.1.0+1.12+8.13x86_64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0x86_64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0aarch64-darwinDependency failed