Skip to content
main

Update mypy. (#708) #1885

Sign in to view logs

Update mypy. (#708)

Update mypy. (#708) #1885

Triggered via push October 12, 2025 23:08
@tobiasraabetobiasraabe
pushed 1d5b3ef
main
Status Success
Total duration 6m 41s
Artifacts –

main.yml

on: push
Run tests for type-checking
34s
Run tests for type-checking
Matrix: run-tests
Fit to window
Zoom out
Zoom in