Hydra failures for packages maintained by jwiegley

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
prooftreeprooftree-0.13aarch64-darwinFailed

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
agdaPackages.standard-librarystandard-library-1.7.1aarch64-darwinDependency failed
coqPackages.autosubstcoq8.15-autosubst-1.7aarch64-darwinDependency failed
coqPackages.autosubstcoq8.15-autosubst-1.7x86_64-darwinDependency failed
coqPackages.category-theorycoq8.15-category-theory-20211213aarch64-darwinDependency failed
coqPackages.category-theorycoq8.15-category-theory-20211213x86_64-darwinDependency failed
coqPackages.CoLoRcoq8.15-color-1.8.2aarch64-darwinDependency failed
coqPackages.CoLoRcoq8.15-color-1.8.2x86_64-darwinDependency failed
coqPackages.coq-ext-libcoq8.15-coq-ext-lib-0.11.6x86_64-darwinDependency failed
coqPackages.coq-ext-libcoq8.15-coq-ext-lib-0.11.6aarch64-darwinDependency failed
coqPackages.equationscoq8.15-equations-1.3+8.15aarch64-darwinDependency failed
coqPackages.equationscoq8.15-equations-1.3+8.15x86_64-darwinDependency failed
coqPackages.flocqcoq8.15-flocq-3.4.3x86_64-darwinDependency failed
coqPackages.flocqcoq8.15-flocq-3.4.3aarch64-darwinDependency failed
coqPackages.math-classescoq8.15-math-classes-8.15.0x86_64-darwinDependency failed
coqPackages.math-classescoq8.15-math-classes-8.15.0aarch64-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-algebracoq8.15-mathcomp-algebra-1.14.0aarch64-darwinDependency failed
coqPackages.mathcomp-algebracoq8.15-mathcomp-algebra-1.14.0x86_64-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.metalibcoq8.15-metalib-8.15aarch64-darwinDependency failed
coqPackages.metalibcoq8.15-metalib-8.15x86_64-darwinDependency failed
coqPackages.pacocoq8.15-paco-4.1.2x86_64-darwinDependency failed
coqPackages.pacocoq8.15-paco-4.1.2aarch64-darwinDependency failed
coqPackages.QuickChickcoq8.15-QuickChick-1.6.2x86_64-darwinDependency failed
coqPackages.QuickChickcoq8.15-QuickChick-1.6.2aarch64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0x86_64-darwinDependency failed
coqPackages.ssreflectcoq8.15-mathcomp-ssreflect-1.14.0aarch64-darwinDependency failed
twelftwelf-1.7.1x86_64-darwinDependency failed