Skip to content
static analysis

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

Sign in to view logs

chore(CI): Fix Dafny CLI CI error

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

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

ci_static_analysis.yml

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