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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker
6m 55s
build (4.08.1, ubuntu-latest)
5m 53s
build (5.2.1, ubuntu-latest)
5m 55s
build (5.2.1, macos-latest)
7m 21s
26m 4s