Skip to content
Back to pull request #3

fix: LD_LIBRARY_PATH and DYLD_LIBRARY_PATH should be unset in subproject #35

Sign in to view logs

fix: LD_LIBRARY_PATH and DYLD_LIBRARY_PATH should be unset in subproject

fix: LD_LIBRARY_PATH and DYLD_LIBRARY_PATH should be unset in subproject #35

Build and test (leanprover/lean4:4.6.0)

Build and test (leanprover/lean4:4.6.0)
succeeded Mar 6, 2024 in 1m 13s