Skip to content
ptf-ebpf

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-ptf.yml

on: pull_request
ptf-linux
19m 12s
ptf-linux
Fit to window
Zoom out
Zoom in