Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32,099 workflow run results
32,099 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #10978: Scheduled
November 30, 2024 23:05 11s main
main
November 30, 2024 23:05 11s
Merge conflicts Merge conflicts #10977: Scheduled
November 30, 2024 22:05 14s main
main
November 30, 2024 22:05 14s
Merge conflicts Merge conflicts #10976: Scheduled
November 30, 2024 21:05 9s main
main
November 30, 2024 21:05 9s
Merge conflicts Merge conflicts #10975: Scheduled
November 30, 2024 20:05 10s main
main
November 30, 2024 20:05 10s
Merge conflicts Merge conflicts #10974: Scheduled
November 30, 2024 19:04 14s main
main
November 30, 2024 19:04 14s
Merge conflicts Merge conflicts #10973: Scheduled
November 30, 2024 18:06 10s main
main
November 30, 2024 18:06 10s
Merge conflicts Merge conflicts #10972: Scheduled
November 30, 2024 17:05 10s main
main
November 30, 2024 17:05 10s
Merge conflicts Merge conflicts #10971: Scheduled
November 30, 2024 16:05 14s main
main
November 30, 2024 16:05 14s
Merge conflicts Merge conflicts #10970: Scheduled
November 30, 2024 15:05 11s main
main
November 30, 2024 15:05 11s
Merge conflicts Merge conflicts #10969: Scheduled
November 30, 2024 14:05 10s main
main
November 30, 2024 14:05 10s
Merge conflicts Merge conflicts #10968: Scheduled
November 30, 2024 13:08 18s main
main
November 30, 2024 13:08 18s
Test Mathlib Test Mathlib #1602: completed by leanprover-community-mathlib4-bot
November 30, 2024 12:11 3s
November 30, 2024 12:11 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8097: completed by leanprover-community-mathlib4-bot
November 30, 2024 12:11 3s
November 30, 2024 12:11 3s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10079: Commit 42d5875 pushed by leanprover-community-mathlib4-bot
November 30, 2024 12:10 1m 39s lean-pr-testing-6265
lean-pr-testing-6265
November 30, 2024 12:10 1m 39s
Merge conflicts Merge conflicts #10967: Scheduled
November 30, 2024 12:08 17s main
main
November 30, 2024 12:08 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8096: completed by leanprover-community-mathlib4-bot
November 30, 2024 11:59 3s
November 30, 2024 11:59 3s
Test Mathlib Test Mathlib #1601: completed by leanprover-community-mathlib4-bot
November 30, 2024 11:59 3s
November 30, 2024 11:59 3s
Trigger CI for https://github.com/leanprover/lean4/pull/4460 ci #10078: Commit 584f04c pushed by leanprover-community-mathlib4-bot
November 30, 2024 11:57 1m 39s lean-pr-testing-4460
lean-pr-testing-4460
November 30, 2024 11:57 1m 39s
Merge conflicts Merge conflicts #10966: Scheduled
November 30, 2024 11:04 14s main
main
November 30, 2024 11:04 14s
pages build and deployment pages-build-deployment #21: by github-pages bot
November 30, 2024 10:07 42s docs
docs
November 30, 2024 10:07 42s
Merge conflicts Merge conflicts #10965: Scheduled
November 30, 2024 10:05 10s main
main
November 30, 2024 10:05 10s
Deploy Docs Deploy Docs #19: Scheduled
November 30, 2024 10:04 3m 32s main
main
November 30, 2024 10:04 3m 32s
Merge conflicts Merge conflicts #10964: Scheduled
November 30, 2024 09:05 10s main
main
November 30, 2024 09:05 10s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #402: Scheduled
November 30, 2024 09:04 13s main
main
November 30, 2024 09:04 13s
Merge conflicts Merge conflicts #10963: Scheduled
November 30, 2024 08:06 9s main
main
November 30, 2024 08:06 9s