Skip to content
test-p4c-ubuntu-18.04

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-ubuntu-18-nightly.yml

on: pull_request
test-ubuntu18
0s
test-ubuntu18
Fit to window
Zoom out
Zoom in