Skip to content
Tests and formatting

Document limitations of Z3.Config #235

Sign in to view logs

Document limitations of Z3.Config

Document limitations of Z3.Config #235

Triggered via pull request January 25, 2024 12:42
@facundominguezfacundominguez
opened #66
fd/z3_config_warn
Status Failure
Total duration 13m 41s
Artifacts –

main.yaml

on: pull_request
markdown-link-check
14s
markdown-link-check
Check formatting
24s
Check formatting
Run test suites
13m 33s
Run test suites
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check formatting
Process completed with exit code 1.