Skip to content

Merge branch 'main' into packaging #24

Merge branch 'main' into packaging

Merge branch 'main' into packaging #24

Triggered via push July 9, 2024 18:49
Status Success
Total duration 29s
Artifacts

type_check.yml

on: push
Type check code with mypy
19s
Type check code with mypy
Fit to window
Zoom out
Zoom in