Skip to content
Check TODOs in code

chore(dafny): add timing support #2074

Sign in to view logs

chore(dafny): add timing support

chore(dafny): add timing support #2074

Triggered via pull request February 13, 2025 15:40
@ajewellamzajewellamz
opened #1655
ajewell/measure
Status Success
Total duration 25s
Artifacts –

ci_todos.yml

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