Adding metrics to strokes made by COINS #2848
Triggered via pull request
December 11, 2025 21:08
Status
Success
Total duration
12m 49s
Artifacts
–