Skip to content
Build matrix

fix(lean/run_tests): "cd" into the lean project to build it (#963) #1043

Sign in to view logs

fix(lean/run_tests): "cd" into the lean project to build it (#963)

fix(lean/run_tests): "cd" into the lean project to build it (#963) #1043

build-docker

build-docker
succeeded Feb 10, 2025 in 6m 55s