Skip to content
validate-p4c

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-validation-nightly.yml

on: pull_request
validate
0s
validate
Fit to window
Zoom out
Zoom in