Skip to content
test-p4c-fedora

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-test-fedora.yml

on: pull_request
test-fedora-linux
44m 17s
test-fedora-linux
Fit to window
Zoom out
Zoom in