Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8588: completed by fgdorais
January 15, 2025 17:41 3s
January 15, 2025 17:41 3s
Test Mathlib Test Mathlib #2093: completed by fgdorais
January 15, 2025 17:41 50s
January 15, 2025 17:41 50s
feat: add BitVec.ofFn and lemmas ci #10574: Pull request #1078 synchronize by fgdorais
January 15, 2025 17:40 42s fgdorais:bitvec-offn
fgdorais:bitvec-offn
January 15, 2025 17:40 42s
Merge conflicts Merge conflicts #12076: Scheduled
January 15, 2025 17:05 12s main
main
January 15, 2025 17:05 12s
Merge conflicts Merge conflicts #12075: Scheduled
January 15, 2025 16:06 11s main
main
January 15, 2025 16:06 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8587: completed by leanprover-community-mathlib4-bot
January 15, 2025 15:08 3s
January 15, 2025 15:08 3s
Test Mathlib Test Mathlib #2092: completed by leanprover-community-mathlib4-bot
January 15, 2025 15:08 3s
January 15, 2025 15:08 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10573: Commit 75c5867 pushed by leanprover-community-mathlib4-bot
January 15, 2025 15:06 1m 44s lean-pr-testing-6642
lean-pr-testing-6642
January 15, 2025 15:06 1m 44s
Merge conflicts Merge conflicts #12074: Scheduled
January 15, 2025 15:05 12s main
main
January 15, 2025 15:05 12s
Merge conflicts Merge conflicts #12073: Scheduled
January 15, 2025 14:05 15s main
main
January 15, 2025 14:05 15s
Merge conflicts Merge conflicts #12072: Scheduled
January 15, 2025 13:08 12s main
main
January 15, 2025 13:08 12s
Merge conflicts Merge conflicts #12071: Scheduled
January 15, 2025 12:09 14s main
main
January 15, 2025 12:09 14s
Merge conflicts Merge conflicts #12070: Scheduled
January 15, 2025 11:05 12s main
main
January 15, 2025 11:05 12s
pages build and deployment pages-build-deployment #67: by github-pages bot
January 15, 2025 10:07 41s docs
docs
January 15, 2025 10:07 41s
Merge conflicts Merge conflicts #12069: Scheduled
January 15, 2025 10:05 11s main
main
January 15, 2025 10:05 11s
Deploy Docs Deploy Docs #66: Scheduled
January 15, 2025 10:04 2m 50s main
main
January 15, 2025 10:04 2m 50s
Merge conflicts Merge conflicts #12068: Scheduled
January 15, 2025 09:05 10s main
main
January 15, 2025 09:05 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #448: Scheduled
January 15, 2025 09:05 16s main
main
January 15, 2025 09:05 16s
Test Mathlib Test Mathlib #2091: completed by kim-em
January 15, 2025 08:58 3s
January 15, 2025 08:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8586: completed by kim-em
January 15, 2025 08:58 23s
January 15, 2025 08:58 23s
deprecation ci #10572: Commit fe25992 pushed by kim-em
January 15, 2025 08:56 1m 38s nightly-testing
nightly-testing
January 15, 2025 08:56 1m 38s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8585: completed by leanprover-community-mathlib4-bot
January 15, 2025 08:39 3s
January 15, 2025 08:39 3s
Test Mathlib Test Mathlib #2090: completed by leanprover-community-mathlib4-bot
January 15, 2025 08:39 3s
January 15, 2025 08:39 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10571: Commit 9ee4eb5 pushed by leanprover-community-mathlib4-bot
January 15, 2025 08:37 1m 43s lean-pr-testing-6651
lean-pr-testing-6651
January 15, 2025 08:37 1m 43s
Merge conflicts Merge conflicts #12067: Scheduled
January 15, 2025 08:07 16s main
main
January 15, 2025 08:07 16s