Skip to content

chore: remove lean-pr-testing-* and nightly-with-manual infrastructure - #939

Merged
Garmelon merged 2 commits into
mainfrom
joscha/remove-lean-pr-testing-infra
Sep 9, 2026
Merged

chore: remove lean-pr-testing-* and nightly-with-manual infrastructure#939
Garmelon merged 2 commits into
mainfrom
joscha/remove-lean-pr-testing-infra

fix readme formatting

eeefe56
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar