Skip to content

Actions: leanprover-community/batteries

Actions

Merge main to nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly_merge_master.yml
507 workflow runs
507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix simp direction for monadLift_bind (#1129) Merge main to nightly #579: Commit b18855c pushed by github-merge-queue bot
February 11, 2025 11:03 16s main
main
February 11, 2025 11:03 16s
feat: add LawfulMonadLift (#1125) Merge main to nightly #578: Commit 309e155 pushed by github-merge-queue bot
February 10, 2025 09:42 16s main
main
February 10, 2025 09:42 16s
fix: use ext attribute to generate ext lemmas for ByteArray and `Fl… Merge main to nightly #577: Commit 45fe933 pushed by github-merge-queue bot
February 10, 2025 09:42 15s main
main
February 10, 2025 09:42 15s
feat: proofs for Batteries.Data.Array/Vector.Monadic (#1109) Merge main to nightly #576: Commit 24cbb07 pushed by github-merge-queue bot
February 7, 2025 03:15 15s main
main
February 7, 2025 03:15 15s
chore: fix labels-from-status (#1124) Merge main to nightly #575: Commit 38b1e7c pushed by github-merge-queue bot
February 6, 2025 20:55 19s main
main
February 6, 2025 20:55 19s
chore: fix create-adaptation-pr.sh (#1122) Merge main to nightly #574: Commit 3766e23 pushed by github-merge-queue bot
February 6, 2025 01:04 14s main
main
February 6, 2025 01:04 14s
chore: bug in nightly_detect_failure.yml (#1120) Merge main to nightly #573: Commit 95509b2 pushed by github-merge-queue bot
February 6, 2025 00:32 16s main
main
February 6, 2025 00:32 16s
chore: bug in nightly_detect_failure.yml (#1119) Merge main to nightly #572: Commit 577d491 pushed by github-merge-queue bot
February 6, 2025 00:19 17s main
main
February 6, 2025 00:19 17s
chore: fix typo in nightly_detect_failure.yml (#1118) Merge main to nightly #571: Commit d7eea41 pushed by github-merge-queue bot
February 6, 2025 00:06 14s main
main
February 6, 2025 00:06 14s
chore: update nightly-testing bot (#1117) Merge main to nightly #570: Commit 8659cad pushed by github-merge-queue bot
February 5, 2025 23:38 12s main
main
February 5, 2025 23:38 12s
chore: bump toolchain to v4.17.0-rc1 (#1115) Merge main to nightly #569: Commit 512d7fa pushed by github-merge-queue bot
February 3, 2025 13:40 15s main
main
February 3, 2025 13:40 15s
chore: bump toolchain to v4.16.0 (#1113) Merge main to nightly #568: Commit 01006c9 pushed by github-merge-queue bot
February 3, 2025 08:25 14s main
main
February 3, 2025 08:25 14s
chore: remove meta results for README proof_wanted link (#1112) Merge main to nightly #567: Commit 43dc9fd pushed by github-merge-queue bot
February 1, 2025 18:51 17s main
main
February 1, 2025 18:51 17s
fix: delete obsolete csimp (#1110) Merge main to nightly #566: Commit f133cf2 pushed by github-merge-queue bot
January 31, 2025 23:31 13s main
main
January 31, 2025 23:31 13s
feat: better implementation of ByteArray.ofFn (#1108) Merge main to nightly #565: Commit 7ec35d2 pushed by github-merge-queue bot
January 31, 2025 22:45 17s main
main
January 31, 2025 22:45 17s
feat: add LawfulBEq instance for Vector (#1104) Merge main to nightly #564: Commit 9089cee pushed by github-merge-queue bot
January 31, 2025 01:47 13s main
main
January 31, 2025 01:47 13s
feat: add Int.ofBits (#1096) Merge main to nightly #563: Commit 9a3a71e pushed by github-merge-queue bot
January 30, 2025 01:34 12s main
main
January 30, 2025 01:34 12s
feat: prove Array.toList_erase (#1101) Merge main to nightly #562: Commit 61dd720 pushed by github-merge-queue bot
January 29, 2025 18:55 18s main
main
January 29, 2025 18:55 18s
fix: don't build multiple times (#1100) Merge main to nightly #561: Commit 3831375 pushed by github-merge-queue bot
January 26, 2025 17:56 12s main
main
January 26, 2025 17:56 12s
feat: add Nat.ofBits and Fin.ofBits (#1089) Merge main to nightly #560: Commit 5b23a12 pushed by github-merge-queue bot
January 14, 2025 23:44 14s main
main
January 14, 2025 23:44 14s
chore: bump to v4.16.0-rc2 (#1093) Merge main to nightly #559: Commit c104265 pushed by github-merge-queue bot
January 14, 2025 02:33 12s main
main
January 14, 2025 02:33 12s
chore: adaptation for leanprover/lean4#6602 (#1092) Merge main to nightly #558: Commit 8690c0b pushed by github-merge-queue bot
January 12, 2025 06:48 11s main
main
January 12, 2025 06:48 11s
feat: add further API about Lean.NameSet (#1091) Merge main to nightly #557: Commit 66225aa pushed by github-merge-queue bot
January 9, 2025 22:13 14s main
main
January 9, 2025 22:13 14s
feat: add List.toArrayMap (#1090) Merge main to nightly #556: Commit e52c2f5 pushed by github-merge-queue bot
January 9, 2025 14:55 1m 2s main
main
January 9, 2025 14:55 1m 2s
fix: make lake preserve toolchain for docs (#1086) Merge main to nightly #555: Commit 03f408f pushed by github-merge-queue bot
January 5, 2025 03:59 12s main
main
January 5, 2025 03:59 12s