Skip to content

Undo branch rename #1340

Undo branch rename

Undo branch rename #1340

Triggered via push October 3, 2024 14:26
Status Success
Total duration 2m 4s
Artifacts

mypy.yml

on: push
Fit to window
Zoom out
Zoom in