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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: github script fix head repo (#1017) Merge main to nightly #504: Commit eb6c831 pushed by github-merge-queue bot
October 28, 2024 17:41 13s main
main
October 28, 2024 17:41 13s
fix: github script typo (#1016) Merge main to nightly #503: Commit 589385a pushed by github-merge-queue bot
October 28, 2024 17:21 12s main
main
October 28, 2024 17:21 12s
fix: github script use list instead of view (#1015) Merge main to nightly #502: Commit 6806fd0 pushed by github-merge-queue bot
October 28, 2024 17:13 19s main
main
October 28, 2024 17:13 19s
fix: github script another typo (#1014) Merge main to nightly #501: Commit 85f6511 pushed by github-merge-queue bot
October 28, 2024 01:33 12s main
main
October 28, 2024 01:33 12s
fix: github script fix repo again (#1013) Merge main to nightly #500: Commit 04a3779 pushed by github-merge-queue bot
October 28, 2024 01:25 12s main
main
October 28, 2024 01:25 12s
fix: github script fix repo (#1012) Merge main to nightly #499: Commit 19a1ab2 pushed by github-merge-queue bot
October 28, 2024 01:16 17s main
main
October 28, 2024 01:16 17s
fix: github script typo (#1011) Merge main to nightly #498: Commit a4f1acd pushed by github-merge-queue bot
October 28, 2024 00:26 12s main
main
October 28, 2024 00:26 12s
fix: missing github token (#1010) Merge main to nightly #497: Commit db2c5f8 pushed by github-merge-queue bot
October 28, 2024 00:15 12s main
main
October 28, 2024 00:15 12s
fix: typo in script (#1009) Merge main to nightly #496: Commit 75fb097 pushed by github-merge-queue bot
October 27, 2024 23:56 17s main
main
October 27, 2024 23:56 17s
feat: use gh command to get pull request info (#1008) Merge main to nightly #495: Commit cbe41b9 pushed by github-merge-queue bot
October 27, 2024 23:22 13s main
main
October 27, 2024 23:22 13s
feat: add #help note command (#948) Merge main to nightly #494: Commit 4d2cb85 pushed by github-merge-queue bot
October 27, 2024 18:23 16s main
main
October 27, 2024 18:23 16s
chore: switch to lakefile.toml (#1005) Merge main to nightly #493: Commit dc72dcd pushed by github-merge-queue bot
October 22, 2024 12:56 17s main
main
October 22, 2024 12:56 17s
chore: fix List.modify/insertIdx doc-strings (#1006) Merge main to nightly #492: Commit 7c5548e pushed by github-merge-queue bot
October 21, 2024 23:44 11s main
main
October 21, 2024 23:44 11s
chore: rename List.modifyNth->modify and insertNth->insertIdx (#1003) Merge main to nightly #491: Commit dd6b101 pushed by github-merge-queue bot
October 21, 2024 05:47 11s main
main
October 21, 2024 05:47 11s
feat: add trans tactic (#1001) Merge main to nightly #490: Commit 1013079 pushed by github-merge-queue bot
October 19, 2024 07:20 14s main
main
October 19, 2024 07:20 14s
fix: print prefix bug (#996) Merge main to nightly #489: Commit 1e0bf50 pushed by github-merge-queue bot
October 19, 2024 00:02 11s main
main
October 19, 2024 00:02 11s
chore: deprecate Expr.lambdaArity in favor of existing upstream ver… Merge main to nightly #488: Commit 6f56968 pushed by github-merge-queue bot
October 18, 2024 23:56 17s main
main
October 18, 2024 23:56 17s
fix: Mathlib CI typo (#1002) Merge main to nightly #487: Commit 9e3d0d8 pushed by github-merge-queue bot
October 18, 2024 20:44 14s main
main
October 18, 2024 20:44 14s
chore: deprecate alias Function.funext_iff in favor of funext_iff… Merge main to nightly #486: Commit c521f01 pushed by github-merge-queue bot
October 17, 2024 11:42 14s main
main
October 17, 2024 11:42 14s
chore: attempt to restore Mathlib CI (#999) Merge main to nightly #485: Commit cc0bc87 pushed by github-merge-queue bot
October 17, 2024 06:44 14s main
main
October 17, 2024 06:44 14s
fix: make proof_wanted not report unused variables (#997) Merge main to nightly #484: Commit d011c00 pushed by github-merge-queue bot
October 17, 2024 04:30 12s main
main
October 17, 2024 04:30 12s
feat: add #help commands (#969) Merge main to nightly #483: Commit 422d1a5 pushed by github-merge-queue bot
October 16, 2024 04:35 16s main
main
October 16, 2024 04:35 16s
chore: cleanup of DList api (#991) Merge main to nightly #482: Commit 4e80cf3 pushed by github-merge-queue bot
October 16, 2024 00:51 13s main
main
October 16, 2024 00:51 13s
feat: add Array.eraseIdx! and some lemmas (#988) Merge main to nightly #481: Commit c0b3791 pushed by github-merge-queue bot
October 16, 2024 00:41 14s main
main
October 16, 2024 00:41 14s
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