Merge main to nightly · 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

Merge main to nightly

Actions

Loading...
Loading

nightly_merge_master.yml

2 workflow runs

2 workflow runs

chore: bump toolchain to v4.20.0-rc2 (#1221) Merge main to nightly #2: Commit cb53cd3 pushed by Rob23oba

1s main

main

1s

fix: delete obsolete csimp (#1110) Merge main to nightly #1: Commit f133cf2 pushed by Rob23oba

2s main

main

2s