Skip to content

Merge branch 'main' into main #12

Merge branch 'main' into main

Merge branch 'main' into main #12

Triggered via push November 22, 2025 03:38
Status Success
Total duration 47s
Artifacts

mypy.yaml

on: push
Fit to window
Zoom out
Zoom in