Skip to content
Check TODOs in code

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

Sign in to view logs

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

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

Triggered via pull request January 27, 2025 19:36
@RitvikKapilaRitvikKapila
opened #1598
rkapila/fix-dafny-interop-workflow
Status Success
Total duration 19s
Artifacts –

ci_todos.yml

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