Type checking

Adding metrics to strokes made by COINS #815

Sign in to view logs

Triggered via pull request December 17, 2025 21:32

martinfleis

synchronize #704

anastassiavybornova:stroke-graph

Status Success

Total duration 1m 54s

Artifacts –

mypy.yml

on: pull_request