Skip to content
p4c-lint

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

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

ci-lint.yaml

on: pull_request
p4c-lint
3m 50s
p4c-lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
p4c-lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.