Skip to content

Fix

Fix #180097

Triggered via push April 3, 2025 07:43
Status Failure
Total duration 36m 42s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Build
The process '/usr/bin/env' failed with exit code 1
Build: Mathlib/Data/Int/GCD.lean#L8
unused import (use `lake exe shake --fix` to fix this, or `lake exe shake --update` to ignore)
Build: Mathlib/Data/Int/GCD.lean#L13
import #[Batteries.Data.Nat.Gcd, Mathlib.Algebra.Divisibility.Basic, Mathlib.Algebra.Group.Nat.Defs] instead
Build: Mathlib/Dynamics/PeriodicPts/Lemmas.lean#L8
unused import (use `lake exe shake --fix` to fix this, or `lake exe shake --update` to ignore)

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
213 KB
sha256:643c8b658efd0257ba65786de7517a2fc7cbdf8d6cfa58536dfdbc7ff645f0b6