Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33,146 workflow runs
33,146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #12503: Scheduled
February 2, 2025 12:08 16s main
main
February 2, 2025 12:08 16s
Merge conflicts Merge conflicts #12502: Scheduled
February 2, 2025 11:04 13s main
main
February 2, 2025 11:04 13s
pages build and deployment pages-build-deployment #85: by github-pages bot
February 2, 2025 10:06 43s docs
docs
February 2, 2025 10:06 43s
Merge conflicts Merge conflicts #12501: Scheduled
February 2, 2025 10:05 13s main
main
February 2, 2025 10:05 13s
Deploy Docs Deploy Docs #84: Scheduled
February 2, 2025 10:03 2m 43s main
main
February 2, 2025 10:03 2m 43s
Merge conflicts Merge conflicts #12500: Scheduled
February 2, 2025 09:05 10s main
main
February 2, 2025 09:05 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #466: Scheduled
February 2, 2025 09:04 11s main
main
February 2, 2025 09:04 11s
Merge conflicts Merge conflicts #12499: Scheduled
February 2, 2025 08:06 11s main
main
February 2, 2025 08:06 11s
Merge conflicts Merge conflicts #12498: Scheduled
February 2, 2025 07:05 10s main
main
February 2, 2025 07:05 10s
Merge conflicts Merge conflicts #12497: Scheduled
February 2, 2025 06:06 12s main
main
February 2, 2025 06:06 12s
Merge conflicts Merge conflicts #12496: Scheduled
February 2, 2025 05:05 11s main
main
February 2, 2025 05:05 11s
Merge conflicts Merge conflicts #12495: Scheduled
February 2, 2025 04:06 9s main
main
February 2, 2025 04:06 9s
Merge conflicts Merge conflicts #12494: Scheduled
February 2, 2025 03:07 10s main
main
February 2, 2025 03:07 10s
Merge conflicts Merge conflicts #12493: Scheduled
February 2, 2025 02:26 11s main
main
February 2, 2025 02:26 11s
Merge conflicts Merge conflicts #12492: Scheduled
February 2, 2025 01:32 10s main
main
February 2, 2025 01:32 10s
Merge conflicts Merge conflicts #12491: Scheduled
February 2, 2025 00:26 12s main
main
February 2, 2025 00:26 12s
Merge conflicts Merge conflicts #12490: Scheduled
February 1, 2025 23:05 10s main
main
February 1, 2025 23:05 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8852: completed by fgdorais
February 1, 2025 22:24 2s
February 1, 2025 22:24 2s
Test Mathlib Test Mathlib #2357: completed by fgdorais
February 1, 2025 22:24 1s
February 1, 2025 22:24 1s
Test Mathlib Test Mathlib #2356: completed by fgdorais
February 1, 2025 22:24 1m 7s
February 1, 2025 22:24 1m 7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8851: completed by fgdorais
February 1, 2025 22:24 3s
February 1, 2025 22:24 3s
feat: add Fin.find?, Fin.findMap? and lemmas ci #10846: Pull request #1099 synchronize by fgdorais
February 1, 2025 22:23 1m 4s fin-find
fin-find
February 1, 2025 22:23 1m 4s
chore: merge #1111 ci #10845: Commit 4d5ece3 pushed by fgdorais
February 1, 2025 22:23 1m 10s fin-find
fin-find
February 1, 2025 22:23 1m 10s
Test Mathlib Test Mathlib #2355: completed by fgdorais
February 1, 2025 22:22 59s
February 1, 2025 22:22 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8850: completed by fgdorais
February 1, 2025 22:22 3s
February 1, 2025 22:22 3s