Skip to content
static analysis

chore(CI): Fix Dafny CLI CI error #4899

Sign in to view logs

chore(CI): Fix Dafny CLI CI error

chore(CI): Fix Dafny CLI CI error #4899

Triggered via pull request May 27, 2025 19:43
@lucasmcdonald3lucasmcdonald3
synchronize #1910
fix-ci
Status Success
Total duration 28s
Artifacts –

ci_static_analysis.yml

on: pull_request
not-grep
20s
not-grep
Fit to window
Zoom out
Zoom in