Skip to content
ci

update lean to 4.7.0-rc1 #68

Sign in to view logs

update lean to 4.7.0-rc1

update lean to 4.7.0-rc1 #68

Triggered via push March 14, 2024 02:58
@PratherConidPratherConid
pushed bbd597b
main
Status Skipped
Total duration 1s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in