Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-02 17:38
056cc4b2
View on Github →
feat: add
lake exe shake
to CI (
#9751
)
depends on:
#9830
depends on:
#9772
depends on:
#9996
This checks files for unused imports. The output here is piped through
gh-problem-matcher-wrap
so that it will show up as annotations.
Estimated changes
Modified
.github/workflows/bors.yml
Modified
.github/workflows/build.yml
Modified
.github/workflows/build.yml.in
Modified
.github/workflows/build_fork.yml
Modified
Mathlib/Algebra/AddConstMap/Basic.lean
Modified
Mathlib/Algebra/GroupWithZero/Power.lean
Modified
Mathlib/Algebra/Module/Basic.lean
Modified
Mathlib/Algebra/Module/LinearMap/Basic.lean
Modified
Mathlib/Algebra/Module/LinearMap/Pointwise.lean
Modified
Mathlib/Algebra/Order/Floor.lean
Modified
Mathlib/Algebra/Ring/Divisibility/Lemmas.lean
Modified
Mathlib/Analysis/Complex/LocallyUniformLimit.lean
Modified
Mathlib/CategoryTheory/Monoidal/Braided.lean
Modified
Mathlib/CategoryTheory/Monoidal/Center.lean
Modified
Mathlib/Data/BitVec/Defs.lean
Modified
Mathlib/Data/BitVec/Lemmas.lean
Modified
Mathlib/Data/Complex/Basic.lean
Modified
Mathlib/Data/ENNReal/Operations.lean
Modified
Mathlib/Data/Int/Parity.lean
Modified
Mathlib/Data/MvPolynomial/Basic.lean
Modified
Mathlib/Data/Option/Defs.lean
Modified
Mathlib/Data/Ordmap/Ordset.lean
Modified
Mathlib/Data/Polynomial/Basic.lean
Modified
Mathlib/Data/Rat/NNRat/BigOperators.lean
Modified
Mathlib/GroupTheory/EckmannHilton.lean
Modified
Mathlib/GroupTheory/OrderOfElement.lean
Modified
Mathlib/LinearAlgebra/Span.lean
Modified
Mathlib/NumberTheory/FLT/Basic.lean
Modified
Mathlib/Order/RelIso/Basic.lean
Modified
Mathlib/Order/RelSeries.lean
Modified
Mathlib/Order/WithBot.lean
Modified
Mathlib/RepresentationTheory/Action/Basic.lean
Modified
Mathlib/RingTheory/Nilpotent.lean
Modified
Mathlib/SetTheory/Game/Basic.lean
Modified
Mathlib/Tactic/Abel.lean
Modified
Mathlib/Topology/Algebra/Field.lean
Modified
Mathlib/Topology/MetricSpace/IsometricSMul.lean
Modified
Mathlib/Util/DischargerAsTactic.lean
Modified
Shake/Main.lean
modified
def
main
added
def
parseHeader
Modified
scripts/noshake.json