Discover `lean-pr-testing` branches · 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

Discover `lean-pr-testing` branches

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

chore: bump to nightly-2025-08-29 Discover `lean-pr-testing` branches #4: Commit 8f2c9cb pushed by Rob23oba

43s nightly-testing

nightly-testing

43s

fix Discover `lean-pr-testing` branches #3: Commit 71ce9df pushed by Rob23oba

37s nightly-testing

nightly-testing

37s

chore: adaptations for nightly-2025-07-22 Discover `lean-pr-testing` branches #2: Commit e81ac6a pushed by Rob23oba

43s nightly-testing

nightly-testing

43s

fix Discover `lean-pr-testing` branches #1: Commit 56ab5d3 pushed by Rob23oba

52s nightly-testing

nightly-testing

52s