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
544 workflow run results
544 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Define dependent version of Fin.foldl (#1071) Merge main to nightly #544: Commit c016aa9 pushed by github-merge-queue bot
December 4, 2024 20:29 15s main
main
December 4, 2024 20:29 15s
chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073) Merge main to nightly #543: Commit 7805acf pushed by github-merge-queue bot
December 2, 2024 02:55 16s main
main
December 2, 2024 02:55 16s
chore: bump toolchain to v4.14.0 (#1070) Merge main to nightly #542: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 11s main
main
December 2, 2024 00:12 11s
chore: update docs-release action (#1069) Merge main to nightly #541: Commit f46c044 pushed by github-merge-queue bot
November 29, 2024 14:42 12s main
main
November 29, 2024 14:42 12s
chore: bump toolchain to v4.14.0-rc3 (#1068) Merge main to nightly #540: Commit 5de6320 pushed by github-merge-queue bot
November 29, 2024 13:33 13s main
main
November 29, 2024 13:33 13s
fix: dependency syntax for a reservoir+git lakefile.toml (#1067) Merge main to nightly #539: Commit dfbe938 pushed by github-merge-queue bot
November 29, 2024 07:14 13s main
main
November 29, 2024 07:14 13s
feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification l… Merge main to nightly #538: Commit c933dd9 pushed by github-merge-queue bot
November 27, 2024 11:35 20s main
main
November 27, 2024 11:35 20s
refactor: add List.finRange and Array.finRange (#1055) Merge main to nightly #537: Commit f6d16c2 pushed by github-merge-queue bot
November 26, 2024 06:09 19s main
main
November 26, 2024 06:09 19s
feat: add KMP frontend for lists (#1065) Merge main to nightly #536: Commit 7488499 pushed by github-merge-queue bot
November 26, 2024 01:47 13s main
main
November 26, 2024 01:47 13s
feat: more vector lemmas (#1062) Merge main to nightly #535: Commit 44e2d2e pushed by github-merge-queue bot
November 24, 2024 23:44 15s main
main
November 24, 2024 23:44 15s
chore: fix two deprecations (#1061) Merge main to nightly #534: Commit 0dc51ac pushed by github-merge-queue bot
November 23, 2024 09:05 18s main
main
November 23, 2024 09:05 18s
chore: fix workflow token (#1059) Merge main to nightly #533: Commit 8b52587 pushed by github-merge-queue bot
November 23, 2024 00:40 13s main
main
November 23, 2024 00:40 13s
fix: Readme.md needs "git" token in lakefile.lean (#1056) Merge main to nightly #532: Commit 33d7f34 pushed by github-merge-queue bot
November 21, 2024 12:33 14s main
main
November 21, 2024 12:33 14s
chore: cleanup breaking non-terminal simps (#1057) Merge main to nightly #531: Commit a822446 pushed by github-merge-queue bot
November 21, 2024 04:55 12s main
main
November 21, 2024 04:55 12s
chore: remove @[simp] attributes from monad-specific SatisfiesM lemma… Merge main to nightly #530: Commit 485efbc pushed by github-merge-queue bot
November 19, 2024 09:54 16s main
main
November 19, 2024 09:54 16s
fix: use two tokens for open private/export private (#1050) Merge main to nightly #529: Commit 01f4969 pushed by github-merge-queue bot
November 15, 2024 07:56 12s main
main
November 15, 2024 07:56 12s
fix: run Lean.enableInitializersExecution (#1047) Merge main to nightly #528: Commit 9dcf294 pushed by github-merge-queue bot
November 15, 2024 03:50 22s main
main
November 15, 2024 03:50 22s
chore: deprecate Expr.forallArity, per todo (#1046) Merge main to nightly #527: Commit b100ff2 pushed by github-merge-queue bot
November 14, 2024 02:30 15s main
main
November 14, 2024 02:30 15s
chore: remove >6 month old deprecations (#1044) Merge main to nightly #526: Commit e2b30dc pushed by github-merge-queue bot
November 13, 2024 23:23 20s main
main
November 13, 2024 23:23 20s
chore: update authors lines (#1045) Merge main to nightly #525: Commit 6d0acd1 pushed by github-merge-queue bot
November 13, 2024 06:10 11s main
main
November 13, 2024 06:10 11s
chore: remove duplicate NameMap forIn instance (#1043) Merge main to nightly #524: Commit 44484f9 pushed by github-merge-queue bot
November 13, 2024 05:48 12s main
main
November 13, 2024 05:48 12s
chore: remove unnecessary import in Batteries.Lean.LawfulMonad (#1042) Merge main to nightly #523: Commit eeb25d3 pushed by github-merge-queue bot
November 13, 2024 05:33 16s main
main
November 13, 2024 05:33 16s
feat: sugar for SatisfiesM (#1029) Merge main to nightly #522: Commit 11da075 pushed by github-merge-queue bot
November 13, 2024 00:25 26s main
main
November 13, 2024 00:25 26s
chore: cleanup proof of satisfiesM_foldlM (#1039) Merge main to nightly #521: Commit e0d8449 pushed by github-merge-queue bot
November 13, 2024 00:04 13s main
main
November 13, 2024 00:04 13s
feat: List.SatisfiesM_foldlM (#1034) Merge main to nightly #520: Commit 66a3bd2 pushed by github-merge-queue bot
November 12, 2024 23:16 14s main
main
November 12, 2024 23:16 14s