Skip to content
Check TODOs in code

chore: re-enable Dafny for MacOS #2201

Sign in to view logs

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #2201

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

ci_todos.yml

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