Skip to content

Merge branch 'main' into main #3

Merge branch 'main' into main

Merge branch 'main' into main #3

Triggered via push September 29, 2023 15:49
Status Success
Total duration 27s
Artifacts

mypy.yml

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