Skip to content
Back to pull request #4697

Build Z3 from source instead of downloading precompiled binaries. #8926

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

Build Z3 from source instead of downloading precompiled binaries. #8926

Triggered via pull request October 31, 2024 16:02
@fruffyfruffy
synchronize #4697
fruffy/z3_source
Status Skipped
Total duration 3s
Artifacts –

ci-static-build-test.yml

on: pull_request
Matrix: build-linux
Fit to window
Zoom out
Zoom in