Test Mathlib · 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

Test Mathlib

Actions

Loading...
Loading

test_mathlib.yml

34 workflow runs

34 workflow runs

Test Mathlib Test Mathlib #9: completed by Rob23oba

2s

2s

Test Mathlib Test Mathlib #8: completed by Rob23oba

3s

3s

Test Mathlib Test Mathlib #7: completed by Rob23oba

2s

2s

Test Mathlib Test Mathlib #6: completed by Rob23oba

2s

2s

Test Mathlib Test Mathlib #5: completed by Rob23oba

2s

2s

Test Mathlib Test Mathlib #4: completed by kim-em

2s

2s

Test Mathlib Test Mathlib #3: completed by Rob23oba

3s

3s

Test Mathlib Test Mathlib #2: completed by Rob23oba

2s

2s

Test Mathlib Test Mathlib #1: completed by Rob23oba

3s

3s