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
555 workflow runs
555 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: upstream DList results from Mathlib (#989) Merge main to nightly #480: Commit b731e84 pushed by github-merge-queue bot
October 15, 2024 23:58 14s main
main
October 15, 2024 23:58 14s
feat: characterize OfScientific.ofScientific on Rat (#990) Merge main to nightly #479: Commit 0ccda64 pushed by github-merge-queue bot
October 15, 2024 23:14 17s main
main
October 15, 2024 23:14 17s
chore: move panicWith out of UnionFind (#983) Merge main to nightly #478: Commit ad3ba5f pushed by github-merge-queue bot
October 14, 2024 10:42 21s main
main
October 14, 2024 10:42 21s
chore: add missing simp for array size lemmas (#982) Merge main to nightly #477: Commit 0d328c8 pushed by github-merge-queue bot
October 14, 2024 10:41 14s main
main
October 14, 2024 10:41 14s
chore: remove duplicate theorem about lists (#986) Merge main to nightly #476: Commit 5f963d5 pushed by github-merge-queue bot
October 14, 2024 07:40 18s main
main
October 14, 2024 07:40 18s
feat: Fin.foldlM and Fin.foldrM (#814) Merge main to nightly #475: Commit 9efd9c2 pushed by github-merge-queue bot
October 14, 2024 05:51 13s main
main
October 14, 2024 05:51 13s
refactor: move theorems about lists from mathlib (#756) Merge main to nightly #474: Commit 405f949 pushed by github-merge-queue bot
October 14, 2024 05:47 17s main
main
October 14, 2024 05:47 17s
feat: add bisection algorithm (#890) Merge main to nightly #473: Commit c8dcca4 pushed by github-merge-queue bot
October 14, 2024 05:46 12s main
main
October 14, 2024 05:46 12s
feat: l <+~ [] ↔ l = [] (#972) Merge main to nightly #472: Commit 5ac298e pushed by github-merge-queue bot
October 14, 2024 04:04 17s main
main
October 14, 2024 04:04 17s
chore: move to v4.13.0-rc3 (#981) Merge main to nightly #471: Commit daf1ed9 pushed by github-merge-queue bot
October 5, 2024 15:00 19s main
main
October 5, 2024 15:00 19s
fix: use user's Lean search path in linter (#980) Merge main to nightly #470: Commit 13f9b00 pushed by github-merge-queue bot
October 4, 2024 06:54 13s main
main
October 4, 2024 06:54 13s
fix: botched merge Merge main to nightly #469: Commit 63c1c38 pushed by digama0
October 3, 2024 12:21 14s main
main
October 3, 2024 12:21 14s
chore: move to v4.13.0-rc1 (#979) Merge main to nightly #468: Commit fc871f7 pushed by github-merge-queue bot
October 3, 2024 12:13 15s main
main
October 3, 2024 12:13 15s
fix: argument order and make abbrev (#975) Merge main to nightly #467: Commit f274aed pushed by github-merge-queue bot
October 3, 2024 09:16 15s main
main
October 3, 2024 09:16 15s
chore: only test Mathlib on PRs to main (#977) Merge main to nightly #466: Commit 34e690e pushed by github-merge-queue bot
October 3, 2024 07:07 10s main
main
October 3, 2024 07:07 10s
chore: cleanup some unused arguments (#974) Merge main to nightly #465: Commit 7815c9d pushed by github-merge-queue bot
October 3, 2024 06:48 13s main
main
October 3, 2024 06:48 13s
chore: update toolchain to v4.12.0 (#973) Merge main to nightly #464: Commit 4756e0f pushed by github-merge-queue bot
October 1, 2024 06:08 12s main
main
October 1, 2024 06:08 12s
fix: disable flaky test (#970) Merge main to nightly #463: Commit bf12ff6 pushed by github-merge-queue bot
September 28, 2024 23:24 12s main
main
September 28, 2024 23:24 12s
feat: decidable quantifiers for Vector (#953) Merge main to nightly #462: Commit c94610a pushed by github-merge-queue bot
September 28, 2024 20:51 12s main
main
September 28, 2024 20:51 12s
feat: getElem_tail lemmas (#905) Merge main to nightly #461: Commit 82c92a6 pushed by github-merge-queue bot
September 28, 2024 18:22 16s main
main
September 28, 2024 18:22 16s
chore: use implicit arguments in iff lemmas (#957) Merge main to nightly #460: Commit deb7e08 pushed by github-merge-queue bot
September 28, 2024 17:46 17s main
main
September 28, 2024 17:46 17s
chore: simplify lakefile (#950) Merge main to nightly #459: Commit 51c38e3 pushed by github-merge-queue bot
September 28, 2024 15:52 11s main
main
September 28, 2024 15:52 11s
fix: remove List.erase_of_forall_bne and replace with List.erase_eq_s… Merge main to nightly #458: Commit 8311edc pushed by github-merge-queue bot
September 28, 2024 15:15 11s main
main
September 28, 2024 15:15 11s
chore: add lake-manifest.json when updating batteries-pr-testing bran… Merge main to nightly #457: Commit e0b13c9 pushed by github-merge-queue bot
September 27, 2024 06:35 18s main
main
September 27, 2024 06:35 18s
chore: fix test_mathlib.yml (5) (#964) Merge main to nightly #456: Commit e023a81 pushed by github-merge-queue bot
September 27, 2024 05:01 14s main
main
September 27, 2024 05:01 14s