Skip to content
test-p4c-fedora

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

Triggered via pull request October 24, 2024 19:56
@fruffyfruffy
synchronize #4697
fruffy/z3_source
Status Success
Total duration 54m 12s
Artifacts –

ci-test-fedora.yml

on: pull_request
test-fedora-linux
32m 51s
test-fedora-linux
Fit to window
Zoom out
Zoom in