Actions: leanprover-community/batteries
Actions
501 workflow runs
501 workflow runs
runLinter
calls lake build
if needed
Merge main to nightly
#45:
Commit d304964
pushed
by
digama0
Acc.rec
and WellFounded.fix
(#371)
Merge main to nightly
#43:
Commit 0c29911
pushed
by
digama0
exists_eq_right_right
(#353)
Merge main to nightly
#32:
Commit 87b0742
pushed
by
digama0
Nat
(#194)
Merge main to nightly
#27:
Commit efa3498
pushed
by
digama0
ProTip!
You can narrow down the results and go further in time using created:<2023-11-05 or the other filters available.