Skip to content
validate-p4c

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-validation-nightly.yml

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