Skip to content
Check TODOs in code

chore: re-enable Dafny for MacOS #2200

Sign in to view logs

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #2200

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

ci_todos.yml

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