Skip to content
Check TODOs in code

chore(gha): fix workflows triggered by dafny-interop.yml (#1598) #1894

Sign in to view logs

chore(gha): fix workflows triggered by dafny-interop.yml (#1598)

chore(gha): fix workflows triggered by dafny-interop.yml (#1598) #1894

Triggered via push January 27, 2025 20:31
@RitvikKapilaRitvikKapila
pushed 0cb009d
main
Status Success
Total duration 24s
Artifacts –

ci_todos.yml

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