Workflow Security Reports

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

Sign in to view logs

Triggered via pull request September 3, 2026 07:43

pkhodade-NV

synchronize #3141

docs/fix-3062-bundled-z3-cli-command

Status Success

Total duration 53s

Artifacts 2

workflow-security.yml

on: pull_request

Actionlint (informational)

Zizmor High report (informational)

Annotations

1 warning

Zizmor High report (informational)

Zizmor reported 37 high-severity findings; this check is informational.

Artifacts

Produced during runtime

Name	Size	Digest
actionlint-33729608935	1.23 KB	`sha256:687a8479867adebf5de5ac093f8468abfa844f3af3276bea44a0bb8ac9686545`
zizmor-high-33729608935	12.1 KB	`sha256:2c734470216781b063869446eef5c97a0de66f13a2c9b9099a3dba9a36503be8`