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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: more succ/pred lemmas for Nat (#195) Merge main to nightly #26: Commit 8bedddc pushed by digama0
November 4, 2023 23:43 12s main
main
November 4, 2023 23:43 12s
feat: have simpa using TryThis (#348) Merge main to nightly #25: Commit c471e98 pushed by digama0
November 4, 2023 22:29 14s main
main
November 4, 2023 22:29 14s
chore: add linter for 'import Lean' (#259) Merge main to nightly #24: Commit e77c409 pushed by digama0
November 4, 2023 06:42 11s main
main
November 4, 2023 06:42 11s
feat: Array.contains_def Merge main to nightly #23: Commit 9bfbd2a pushed by digama0
November 3, 2023 05:43 17s main
main
November 3, 2023 05:43 17s
chore: upstream some classical logic lemmas (#344) Merge main to nightly #22: Commit f70292a pushed by digama0
November 3, 2023 03:06 13s main
main
November 3, 2023 03:06 13s
feat: MVarId.isIndependentOf (#254) Merge main to nightly #21: Commit 795918a pushed by digama0
November 1, 2023 13:18 15s main
main
November 1, 2023 13:18 15s
chore: add lake-manifest.json to .gitignore Merge main to nightly #20: Commit 5719bd8 pushed by digama0
November 1, 2023 13:06 19s main
main
November 1, 2023 13:06 19s
chore: upstream the once-per-file Cache for tactics (#213) Merge main to nightly #19: Commit d3ce3e8 pushed by digama0
November 1, 2023 12:45 19s main
main
November 1, 2023 12:45 19s
chore: remove lake-manifest.json Merge main to nightly #18: Commit 026b17c pushed by digama0
November 1, 2023 11:28 12s main
main
November 1, 2023 11:28 12s
chore: upstream left and right tactics (#238) Merge main to nightly #17: Commit 29b53a0 pushed by digama0
November 1, 2023 09:01 14s main
main
November 1, 2023 09:01 14s
feat: lemmas characterising zipWith(All) via get? (#325) Merge main to nightly #16: Commit d2007e4 pushed by digama0
November 1, 2023 08:45 14s main
main
November 1, 2023 08:45 14s
feat: Int.div_nonneg_iff_of_pos (#328) Merge main to nightly #15: Commit 7262e17 pushed by digama0
November 1, 2023 08:38 12s main
main
November 1, 2023 08:38 12s
feat: more lemmas and perf update (#329) Merge main to nightly #14: Commit fb43b83 pushed by digama0
November 1, 2023 08:37 14s main
main
November 1, 2023 08:37 14s
feat: more min/max lemmas for Nat (#196) Merge main to nightly #13: Commit b541ac2 pushed by digama0
November 1, 2023 07:19 15s main
main
November 1, 2023 07:19 15s
feat: lemmas characterising List.minimum? (#340) Merge main to nightly #12: Commit 123e2f1 pushed by digama0
November 1, 2023 05:36 14s main
main
November 1, 2023 05:36 14s
feat: whitespace linter (#341) Merge main to nightly #11: Commit a71c160 pushed by digama0
October 31, 2023 06:20 16s main
main
October 31, 2023 06:20 16s
chore: add Option.getD_eq_iff (#339) Merge main to nightly #10: Commit fa849e0 pushed by digama0
October 31, 2023 05:44 16s main
main
October 31, 2023 05:44 16s
chore: bump toolchain to v4.3.0-rc1 (#338) Merge main to nightly #9: Commit 0daeae3 pushed by digama0
October 31, 2023 05:13 17s main
main
October 31, 2023 05:13 17s
chore: bump toolchain to v4.2.0 (#337) Merge main to nightly #8: Commit 409a644 pushed by kim-em
October 31, 2023 04:21 13s main
main
October 31, 2023 04:21 13s
Add Option.bind_none lemma (#330) Merge main to nightly #7: Commit 52478f3 pushed by joehendrix
October 30, 2023 20:33 19s main
main
October 30, 2023 20:33 19s
feat: Migrate #print prefix from Mathlib (#321) Merge main to nightly #6: Commit 6747f41 pushed by joehendrix
October 27, 2023 14:11 19s main
main
October 27, 2023 14:11 19s
feat: lemma about findSome? (#327) Merge main to nightly #5: Commit 0da0e81 pushed by digama0
October 27, 2023 06:20 16s main
main
October 27, 2023 06:20 16s
feat: iff version of Int.eq_of_mul_eq_mul_right|left (#326) Merge main to nightly #4: Commit 2b6f8d5 pushed by digama0
October 27, 2023 06:18 13s main
main
October 27, 2023 06:18 13s
feat: Bool lemmas (#183) Merge main to nightly #3: Commit 65544c3 pushed by joehendrix
October 27, 2023 04:02 13s main
main
October 27, 2023 04:02 13s
feat: More extended binders for sets. (#323) Merge main to nightly #2: Commit bd60d93 pushed by digama0
October 26, 2023 16:31 14s main
main
October 26, 2023 16:31 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-26 or the other filters available.