Workflow runs · Rob23oba/lean4-batteries · GitHub

Actions

All workflows
Workflows
- ci ci
- Discover `lean-pr-testing` branches Discover `lean-pr-testing` branches
- Label PR from status change Label PR from status change
- Merge main to nightly Merge main to nightly
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Test Mathlib Test Mathlib
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing Disabled
- Deploy Docs Deploy Docs Disabled
- Merge conflicts Merge conflicts Disabled
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

7,520 workflow runs

7,520 workflow runs

Merge conflicts Merge conflicts #6092: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6091: Scheduled

Skipped main

main

Skipped

Merge conflicts Merge conflicts #6090: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6089: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6088: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6087: Scheduled

1s main

main

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #955: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6086: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6085: Scheduled

2s main

main

2s

Merge conflicts Merge conflicts #6084: Scheduled

1s main

main

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #954: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6083: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6082: Scheduled

2s main

main

2s

Merge conflicts Merge conflicts #6081: Scheduled

1s main

main

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #953: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6080: Scheduled

2s main

main

2s

Merge conflicts Merge conflicts #6079: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6078: Scheduled

1s main

main

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #952: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6077: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6076: Scheduled

1s main

main

1s

Deploy Docs Deploy Docs #265: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6075: Scheduled

1s main

main

1s

Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #951: Scheduled

1s main

main

1s

Merge conflicts Merge conflicts #6074: Scheduled

1s main

main

1s