Skip to content
Check TODOs in code

chore(dafny): update project.properties and mpl submodule #2258

Sign in to view logs

chore(dafny): update project.properties and mpl submodule

chore(dafny): update project.properties and mpl submodule #2258

Triggered via pull request April 1, 2025 22:35
@josecorellajosecorella
synchronize #1770
jocorell/pin-to-latest-tag
Status Success
Total duration 22s
Artifacts –

ci_todos.yml

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