Fix #180097
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
|
|