Skip to content
static analysis

chore: re-enable Dafny for MacOS (#1738) #4347

Sign in to view logs

chore: re-enable Dafny for MacOS (#1738)

chore: re-enable Dafny for MacOS (#1738) #4347

Triggered via push March 20, 2025 19:56
@seebeesseebees
pushed 6f729c3
main
Status Success
Total duration 22s
Artifacts –

ci_static_analysis.yml

on: push
not-grep
14s
not-grep
Fit to window
Zoom out
Zoom in