Skip to content

Merge branch 'python:main' into main #16

Merge branch 'python:main' into main

Merge branch 'python:main' into main #16

Triggered via push September 1, 2025 18:17
Status Success
Total duration 20s
Artifacts

mypy.yml

on: push
Check code with mypy
16s
Check code with mypy
Fit to window
Zoom out
Zoom in