Skip to content

Merge branch 'main' into main #100

Merge branch 'main' into main

Merge branch 'main' into main #100

Triggered via push November 7, 2024 06:03
Status Success
Total duration 43s
Artifacts

mypy.yaml

on: push
Matrix: mypy
Fit to window
Zoom out
Zoom in