Actions: leanprover-community/batteries
Actions
502 workflow runs
502 workflow runs
TransOrd
, LawfulOrd
, BEqOrd
+ instances (#730)
Merge main to nightly
#326:
Commit b79e7e7
pushed
by
digama0
@[simp]
attrs (#769)
Merge main to nightly
#325:
Commit f58165d
pushed
by
kim-em
Option
in List.get_zero
(#758)
Merge main to nightly
#323:
Commit e1ed6c8
pushed
by
kim-em
List.mem_merge
(#768)
Merge main to nightly
#322:
Commit 93ef8a7
pushed
by
kim-em
#show_unused
command (#734)
Merge main to nightly
#306:
Commit 722dc5e
pushed
by
kim-em
Std.Data.HashMap.Init
docs (#725)
Merge main to nightly
#305:
Commit 59e9660
pushed
by
digama0