Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,925 workflow runs
32,925 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #12418: Scheduled
January 29, 2025 23:05 10s main
main
January 29, 2025 23:05 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8732: completed by leanprover-community-mathlib4-bot
January 29, 2025 23:04 3s
January 29, 2025 23:04 3s
Test Mathlib Test Mathlib #2237: completed by leanprover-community-mathlib4-bot
January 29, 2025 23:04 3s
January 29, 2025 23:04 3s
Trigger CI for https://github.com/leanprover/lean4/pull/6744 ci #10721: Commit b7779f3 pushed by leanprover-community-mathlib4-bot
January 29, 2025 23:03 1m 24s lean-pr-testing-6744
lean-pr-testing-6744
January 29, 2025 23:03 1m 24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8731: completed by kim-em
January 29, 2025 22:07 1m 2s
January 29, 2025 22:07 1m 2s
Test Mathlib Test Mathlib #2236: completed by kim-em
January 29, 2025 22:07 2s
January 29, 2025 22:07 2s
fix ci #10720: Commit 2132bbc pushed by kim-em
January 29, 2025 22:06 53s nightly-testing
nightly-testing
January 29, 2025 22:06 53s
Merge conflicts Merge conflicts #12417: Scheduled
January 29, 2025 22:05 11s main
main
January 29, 2025 22:05 11s
Merge conflicts Merge conflicts #12416: Scheduled
January 29, 2025 21:05 9s main
main
January 29, 2025 21:05 9s
Merge conflicts Merge conflicts #12415: Scheduled
January 29, 2025 20:05 11s main
main
January 29, 2025 20:05 11s
Merge conflicts Merge conflicts #12414: Scheduled
January 29, 2025 19:05 2m 13s main
main
January 29, 2025 19:05 2m 13s
Test Mathlib Test Mathlib #2235: completed by github-merge-queue bot
January 29, 2025 18:56 3s
January 29, 2025 18:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8730: completed by github-merge-queue bot
January 29, 2025 18:56 3s
January 29, 2025 18:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8729: completed by leanprover-community-mathlib4-bot
January 29, 2025 18:56 11s
January 29, 2025 18:56 11s
Test Mathlib Test Mathlib #2234: completed by leanprover-community-mathlib4-bot
January 29, 2025 18:56 2s
January 29, 2025 18:56 2s
Merge main into nightly-testing ci #10719: Commit e92f6eb pushed by leanprover-community-mathlib4-bot
January 29, 2025 18:56 24s nightly-testing
nightly-testing
January 29, 2025 18:56 24s
feat: prove Array.toList_erase Label PR from status change #116: Pull request #1101 closed by fgdorais
January 29, 2025 18:55 14s Mehbark:toList-erase
Mehbark:toList-erase
January 29, 2025 18:55 14s
feat: prove Array.toList_erase (#1101) ci #10718: Commit 61dd720 pushed by github-merge-queue bot
January 29, 2025 18:55 59s main
main
January 29, 2025 18:55 59s
feat: prove Array.toList_erase (#1101) Merge main to nightly #562: Commit 61dd720 pushed by github-merge-queue bot
January 29, 2025 18:55 18s main
main
January 29, 2025 18:55 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8728: completed by github-merge-queue bot
January 29, 2025 18:55 3s
January 29, 2025 18:55 3s
Test Mathlib Test Mathlib #2233: completed by github-merge-queue bot
January 29, 2025 18:55 4s
January 29, 2025 18:55 4s
feat: prove Array.toList_erase (#1101) ci #10717: Commit 61dd720 pushed by github-merge-queue bot
January 29, 2025 18:54 55s gh-readonly-queue/main/pr-1101-383137545783429af1317226778fd44869a711e2
gh-readonly-queue/main/pr-1101-383137545783429af1317226778fd44869a711e2
January 29, 2025 18:54 55s
feat: prove Array.toList_erase Label PR based on Comment #1533: Issue comment #1101 (comment) created by fgdorais
January 29, 2025 18:54 3s
January 29, 2025 18:54 3s
Test Mathlib Test Mathlib #2232: completed by Mehbark
January 29, 2025 18:53 1m 4s
January 29, 2025 18:53 1m 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8727: completed by Mehbark
January 29, 2025 18:53 3s
January 29, 2025 18:53 3s