Actions: leanprover-community/batteries
Actions
501 workflow runs
501 workflow runs
List.insertP
and lemmas (#569)
Merge main to nightly
#419:
Commit b1a2ec9
pushed
by
digama0
List.foldlM_map
and List.foldrM_map
(#827)
Merge main to nightly
#414:
Commit a2ef715
pushed
by
digama0
ByteSubarray
(#851)
Merge main to nightly
#413:
Commit 1f4c8fa
pushed
by
digama0
Char.utf8Size
(#901)
Merge main to nightly
#402:
Commit 41bc768
pushed
by
kim-em