Build Z3 from source instead of downloading precompiled binaries. #2852
Triggered via pull request
October 24, 2024 19:56
fruffy
Status
Success
Total duration
1h 2m 52s
Artifacts
–
ci-test-debian.yml
on: pull_request
test-ubuntu22
17m 5s
test-ubuntu22-tofino
36m 22s
Matrix: test-ubuntu20