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: add a few missing lemmas about array size (#378) Merge main to nightly #51: Commit e3e0641 pushed by digama0
November 20, 2023 05:55 11s main
main
November 20, 2023 05:55 11s
chore: fix namespacing in Std.Classes.Order (#377) Merge main to nightly #50: Commit 1d1197d pushed by digama0
November 19, 2023 11:26 13s main
main
November 19, 2023 11:26 13s
feat: simple lemmas about LE and LT (#372) Merge main to nightly #49: Commit 85f6436 pushed by digama0
November 19, 2023 10:59 12s main
main
November 19, 2023 10:59 12s
chore: fix failure on main; something went wrong after #291 (#375) Merge main to nightly #48: Commit 066c975 pushed by digama0
November 19, 2023 10:55 12s main
main
November 19, 2023 10:55 12s
chore: DiscrTreeCache.mk uses insertCore not insertIfSpecific (#369) Merge main to nightly #47: Commit 3585750 pushed by digama0
November 19, 2023 10:44 16s main
main
November 19, 2023 10:44 16s
chore: add @[simp] to useful lemmas about Int (#291) Merge main to nightly #46: Commit 2b6b479 pushed by digama0
November 19, 2023 10:40 12s main
main
November 19, 2023 10:40 12s
feat: runLinter calls lake build if needed Merge main to nightly #45: Commit d304964 pushed by digama0
November 17, 2023 07:45 16s main
main
November 17, 2023 07:45 16s
chore: adjustments to runLinter so it can be used downstream (#370) Merge main to nightly #44: Commit 385b5f9 pushed by digama0
November 17, 2023 07:22 13s main
main
November 17, 2023 07:22 13s
refactor: specialize Acc.rec and WellFounded.fix (#371) Merge main to nightly #43: Commit 0c29911 pushed by digama0
November 17, 2023 06:58 15s main
main
November 17, 2023 06:58 15s
chore: bump toolchain to v4.3.0-rc2 (#367) Merge main to nightly #42: Commit 01f7ec0 pushed by digama0
November 17, 2023 05:45 16s main
main
November 17, 2023 05:45 16s
chore: fix MVarId.isIndependentOf (#368) Merge main to nightly #41: Commit 6539b3b pushed by digama0
November 17, 2023 04:19 12s main
main
November 17, 2023 04:19 12s
feat: Array.attach (#364) Merge main to nightly #40: Commit f978011 pushed by digama0
November 15, 2023 19:02 12s main
main
November 15, 2023 19:02 12s
chore: reduce imports in Tactic.Lint.TypeClass Merge main to nightly #39: Commit ebc61da pushed by digama0
November 15, 2023 18:47 16s main
main
November 15, 2023 18:47 16s
feat: List.enum_length (#363) Merge main to nightly #38: Commit c14f6a6 pushed by digama0
November 15, 2023 11:50 16s main
main
November 15, 2023 11:50 16s
feat: upstream norm_cast (#351) Merge main to nightly #37: Commit 8708106 pushed by joehendrix
November 14, 2023 05:25 13s main
main
November 14, 2023 05:25 13s
feat: upstream lemmas about if-then-else (#360) Merge main to nightly #36: Commit ad4fd54 pushed by joehendrix
November 14, 2023 05:21 18s main
main
November 14, 2023 05:21 18s
feat: Define primitive operations (e.g., cons, concat) on bitvectors … Merge main to nightly #35: Commit 990589b pushed by joehendrix
November 14, 2023 02:04 15s main
main
November 14, 2023 02:04 15s
chore: replace 'namespace Mathlib', and lint (#362) Merge main to nightly #34: Commit 2c89c8a pushed by kim-em
November 14, 2023 00:03 16s main
main
November 14, 2023 00:03 16s
feat: use notation as simp-normal form for BitVec operations (#357) Merge main to nightly #33: Commit fb07d16 pushed by joehendrix
November 9, 2023 22:21 15s main
main
November 9, 2023 22:21 15s
chore: generalise exists_eq_right_right (#353) Merge main to nightly #32: Commit 87b0742 pushed by digama0
November 8, 2023 00:03 18s main
main
November 8, 2023 00:03 18s
chore: CI job wasn't running due to incorrect name (#352) Merge main to nightly #31: Commit 869c615 pushed by kim-em
November 6, 2023 01:30 13s main
main
November 6, 2023 01:30 13s
chore: update nolints Merge main to nightly #30: Commit 6a5a33b pushed by digama0
November 5, 2023 09:03 16s main
main
November 5, 2023 09:03 16s
fix: github nightly workflows shouldn't run on forks (#349) Merge main to nightly #29: Commit 546961c pushed by kim-em
November 5, 2023 05:28 13s main
main
November 5, 2023 05:28 13s
chore: create nightly-testing-YYYY-MM-DD branches when nightly-testin… Merge main to nightly #28: Commit 903e3da pushed by digama0
November 5, 2023 03:51 12s main
main
November 5, 2023 03:51 12s
feat: more order lemmas for Nat (#194) Merge main to nightly #27: Commit efa3498 pushed by digama0
November 5, 2023 00:09 12s main
main
November 5, 2023 00:09 12s
ProTip! You can narrow down the results and go further in time using created:<2023-11-05 or the other filters available.