Skip to content
ptf-ebpf

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

Triggered via pull request October 26, 2024 19:14
@fruffyfruffy
synchronize #4697
fruffy/z3_source
Status Success
Total duration 15m 41s
Artifacts –

ci-ptf.yml

on: pull_request
ptf-linux
15m 30s
ptf-linux
Fit to window
Zoom out
Zoom in