Skip to content
test-p4c-fedora

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-test-fedora.yml

on: pull_request
test-fedora-linux
30m 38s
test-fedora-linux
Fit to window
Zoom out
Zoom in