Skip to content
Dependency Review

feat(docs): fix Windows bundled-z3 build command in CONTRIBUTING.md #492

Sign in to view logs

feat(docs): fix Windows bundled-z3 build command in CONTRIBUTING.md

feat(docs): fix Windows bundled-z3 build command in CONTRIBUTING.md #492

Triggered via pull request September 3, 2026 07:43
@pkhodade-NVpkhodade-NV
synchronize #3141
docs/fix-3062-bundled-z3-cli-command
Status Success
Total duration 12s
Artifacts –

dependency-review.yml

on: pull_request
Dependency Review (informational)
7s
Dependency Review (informational)
Fit to window
Zoom out
Zoom in