Hydra failures for packages maintained by nadja-y

Jump to: Direct Failures • Indirect Failures

Direct failures

These are packages fail to build themselves.

AttributeJob namePlatformResult
nixpkgs.lean4.aarch64-darwinlean4-4.30.0aarch64-darwinFailed
nixpkgs.lean4.aarch64-linuxlean4-4.30.0aarch64-linuxFailed
nixpkgs.lean4.x86_64-linuxlean4-4.30.0x86_64-linuxFailed
nixpkgs.leanPackages.Cli.aarch64-darwinlean4-cli-4.30.0aarch64-darwinFailed
nixpkgs.leanPackages.Cli.aarch64-linuxlean4-cli-4.30.0aarch64-linuxFailed
nixpkgs.leanPackages.Cli.x86_64-linuxlean4-cli-4.30.0x86_64-linuxFailed
nixpkgs.leanPackages.LeanSearchClient.aarch64-darwinlean4-LeanSearchClient-4.12.0-unstable-2026-02-12aarch64-darwinFailed
nixpkgs.leanPackages.LeanSearchClient.aarch64-linuxlean4-LeanSearchClient-4.12.0-unstable-2026-02-12aarch64-linuxFailed
nixpkgs.leanPackages.LeanSearchClient.x86_64-linuxlean4-LeanSearchClient-4.12.0-unstable-2026-02-12x86_64-linuxFailed
nixpkgs.leanPackages.Qq.aarch64-darwinlean4-Qq-4.30.0aarch64-darwinFailed
nixpkgs.leanPackages.Qq.aarch64-linuxlean4-Qq-4.30.0aarch64-linuxFailed
nixpkgs.leanPackages.Qq.x86_64-linuxlean4-Qq-4.30.0x86_64-linuxFailed
nixpkgs.leanPackages.batteries.aarch64-darwinlean4-batteries-4.30.0-unstable-2026-05-26aarch64-darwinFailed
nixpkgs.leanPackages.batteries.aarch64-linuxlean4-batteries-4.30.0-unstable-2026-05-26aarch64-linuxFailed
nixpkgs.leanPackages.batteries.x86_64-linuxlean4-batteries-4.30.0-unstable-2026-05-26x86_64-linuxFailed
nixpkgs.leanPackages.plausible.aarch64-darwinlean4-plausible-4.30.0-unstable-2026-05-26aarch64-darwinFailed
nixpkgs.leanPackages.plausible.aarch64-linuxlean4-plausible-4.30.0-unstable-2026-05-26aarch64-linuxFailed
nixpkgs.leanPackages.plausible.x86_64-linuxlean4-plausible-4.30.0-unstable-2026-05-26x86_64-linuxFailed
nixpkgs.leanPackages.proofwidgets.aarch64-darwinlean4-proofwidgets-0.0.99aarch64-darwinFailed
nixpkgs.leanPackages.proofwidgets.aarch64-linuxlean4-proofwidgets-0.0.99aarch64-linuxFailed
nixpkgs.leanPackages.proofwidgets.x86_64-linuxlean4-proofwidgets-0.0.99x86_64-linuxFailed

Jump to: Direct Failures • Indirect Failures

Indirect failures

These are packages where a dependency failed to build.

AttributeJob namePlatformResult
nixpkgs.leanPackages.aesop.aarch64-darwinlean4-aesop-4.30.0aarch64-darwinDependency failed
nixpkgs.leanPackages.aesop.aarch64-linuxlean4-aesop-4.30.0aarch64-linuxDependency failed
nixpkgs.leanPackages.aesop.x86_64-linuxlean4-aesop-4.30.0x86_64-linuxDependency failed
nixpkgs.leanPackages.importGraph.aarch64-darwinlean4-importGraph-4.30.0-unstable-2026-05-26aarch64-darwinDependency failed
nixpkgs.leanPackages.importGraph.aarch64-linuxlean4-importGraph-4.30.0-unstable-2026-05-26aarch64-linuxDependency failed
nixpkgs.leanPackages.importGraph.x86_64-linuxlean4-importGraph-4.30.0-unstable-2026-05-26x86_64-linuxDependency failed
nixpkgs.leanPackages.mathlib__archive.aarch64-darwinlean4-mathlib-4.30.0aarch64-darwinDependency failed
nixpkgs.leanPackages.mathlib__archive.aarch64-linuxlean4-mathlib-4.30.0aarch64-linuxDependency failed
nixpkgs.leanPackages.mathlib__archive.x86_64-linuxlean4-mathlib-4.30.0x86_64-linuxDependency failed