Skip to content

Add downstream-check CI and shared composite actions#1387

Open
shigoel wants to merge 6 commits into
mainfrom
add-downstream-check
Open

Add downstream-check CI and shared composite actions#1387
shigoel wants to merge 6 commits into
mainfrom
add-downstream-check

downstream-check: install Lean toolchain before lake update

2aaaea8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (c-cpp)
succeeded Jun 18, 2026 in 40s