Skip to content
Check TODOs in code

chore: re-enable Dafny for MacOS #2206

Sign in to view logs

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #2206

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

ci_todos.yml

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