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 (4.08.1, ubuntu-latest)

build (4.08.1, ubuntu-latest)
succeeded Feb 10, 2025 in 5m 53s