Actions: leanprover-community/mathlib4
Actions
37,672 workflow runs
37,672 workflow runs
lake exe mk_all
as a Lean executable
Detect changes to header SHAs
#53586:
Pull request #11853
synchronize
by
adomani
lake exe mk_all
in CI
Detect changes to header SHAs
#53585:
Pull request #11874
synchronize
by
adomani
lake exe mk_all
as a Lean executable
Detect changes to header SHAs
#53584:
Pull request #11853
synchronize
by
adomani
RingTheory.Ideal.Operations
Detect changes to header SHAs
#53565:
Pull request #12777
synchronize
by
xroblot