Skip to content
static analysis

chore: re-enable Dafny for MacOS #4346

Sign in to view logs

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #4346

Triggered via pull request March 20, 2025 16:41
@seebeesseebees
synchronize #1738
seebees/re-enable-verification
Status Success
Total duration 26s
Artifacts –

ci_static_analysis.yml

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