Skip to content
Check TODOs in code

chore: re-enable Dafny for MacOS #2202

Sign in to view logs

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #2202

Triggered via pull request March 19, 2025 23:53
@seebeesseebees
synchronize #1738
seebees/re-enable-verification
Status Success
Total duration 17s
Artifacts –

ci_todos.yml

on: pull_request
findTodos
7s
findTodos
Fit to window
Zoom out
Zoom in