Hydra failures for packages maintained by jvanbrueggeHydra failures for packages maintained by jvanbrueggeJump to: Direct Failures • Indirect Failures
These are packages fail to build themselves.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.isabelle.x86_64-darwin | isabelle-2025-1 | x86_64-darwin | Failed |
Jump to: Direct Failures • Indirect Failures
These are packages where a dependency failed to build.
| Attribute | Job name | Platform | Result |
|---|---|---|---|
| nixpkgs.isabelle-components.isabelle-linter.aarch64-linux | isabelle-linter-2025-1.0.0 | aarch64-linux | Dependency failed |
| nixpkgs.isabelle-components.isabelle-linter.x86_64-darwin | isabelle-linter-2025-1-1.0.0 | x86_64-darwin | Dependency failed |
| nixpkgs.isabelle-components.isabelle-linter.x86_64-linux | isabelle-linter-2025-1.0.0 | x86_64-linux | Dependency failed |
| nixpkgs.isabelle.aarch64-linux | isabelle-2025 | aarch64-linux | Dependency failed |
| nixpkgs.isabelle.x86_64-linux | isabelle-2025 | x86_64-linux | Dependency failed |
| nixpkgs.tandoor-recipes.x86_64-darwin | python3.13-tandoor-recipes-2.3.6 | x86_64-darwin | Dependency failed |