Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
812 workflow run results
812 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #1050: Scheduled
October 5, 2023 18:21 13s main
main
October 5, 2023 18:21 13s
Merge conflicts Merge conflicts #1049: Scheduled
October 5, 2023 17:14 21s main
main
October 5, 2023 17:14 21s
Merge conflicts Merge conflicts #1048: Scheduled
October 5, 2023 16:21 14s main
main
October 5, 2023 16:21 14s
Merge conflicts Merge conflicts #1047: Scheduled
October 5, 2023 15:16 18s main
main
October 5, 2023 15:16 18s
Merge conflicts Merge conflicts #1046: Scheduled
October 5, 2023 14:14 14s main
main
October 5, 2023 14:14 14s
Merge conflicts Merge conflicts #1045: Scheduled
October 5, 2023 13:19 17s main
main
October 5, 2023 13:19 17s
Merge conflicts Merge conflicts #1044: Scheduled
October 5, 2023 12:33 21s main
main
October 5, 2023 12:33 21s
Merge conflicts Merge conflicts #1043: Scheduled
October 5, 2023 11:13 11s main
main
October 5, 2023 11:13 11s
feat: add varous lemmas for (Fin.rev _) ci #1364: Pull request #277 opened by timotree3
October 1, 2023 05:05 2m 22s timotree3:fin-lemmas
timotree3:fin-lemmas
October 1, 2023 05:05 2m 22s
fix: make Fin.val_succ dsimp ci #1363: Pull request #276 opened by timotree3
October 1, 2023 00:05 3m 25s timotree3:patch-1
timotree3:patch-1
October 1, 2023 00:05 3m 25s
feat: some lemmas about variations List.get and List.getLast, fix duplicate lemma ci #1361: Pull request #275 opened by javra
September 28, 2023 20:09 1m 50s javra:List.get_eq_get
javra:List.get_eq_get
September 28, 2023 20:09 1m 50s
feat: add non-monotone map function to RBSet ci #1360: Pull request #274 synchronize by lambda-fairy
September 27, 2023 09:37 2m 34s rbset
rbset
September 27, 2023 09:37 2m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.