Skip to content
static analysis

chore: fix Dafny verification #4132

Sign in to view logs

chore: fix Dafny verification

chore: fix Dafny verification #4132

Triggered via pull request February 5, 2025 18:32
@RitvikKapilaRitvikKapila
opened #1627
rkapila/fix-dafny-verification
Status Success
Total duration 1m 25s
Artifacts –

ci_static_analysis.yml

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