Skip to content
Back to pull request #370

Make LeanDefinitionalEngine thread safe (#227) #882

Sign in to view logs

Make LeanDefinitionalEngine thread safe (#227)

Make LeanDefinitionalEngine thread safe (#227) #882

Re-run triggered June 20, 2024 23:43
@andrewmwells-amazonandrewmwells-amazon
#370
andrewmwells/lean_ffi_threadsafe
Status Success
Total duration 8m 0s
Artifacts –

ci.yml

on: pull_request
get-branch-name
0s
get-branch-name
Test Docker build
4m 48s
Test Docker build
Matrix: Build and test Lean
Matrix: build_and_test_drt / Build and test DRT
Matrix: build_and_test_drt / run-integration-tests / Run integration tests
Fit to window
Zoom out
Zoom in