Skip to content

remove now-unneeded mypy workaround from 4d32b5c77a8a52f38e2051fd9c0e… #1315

remove now-unneeded mypy workaround from 4d32b5c77a8a52f38e2051fd9c0e…

remove now-unneeded mypy workaround from 4d32b5c77a8a52f38e2051fd9c0e… #1315

Triggered via push February 27, 2025 07:24
Status Success
Total duration 1m 41s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in