Alternative fix for lean mathlib. #970
mjp41Annotations
2 errors
|
ubuntu / Base Container
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c ./build-bench-env.sh lean" did not complete successfully: exit code: 1
|
|
alpine / Base Container
buildx failed with: ERROR: failed to build: failed to solve: process "/bin/sh -c ./build-bench-env.sh rocksdb" did not complete successfully: exit code: 2
|