Skip to content

chore(deps): update dependency mypy to v1.12.1 (#1610) #4195

chore(deps): update dependency mypy to v1.12.1 (#1610)

chore(deps): update dependency mypy to v1.12.1 (#1610) #4195

Triggered via push October 20, 2024 04:22
Status Success
Total duration 3m 56s
Artifacts 1
webclient-linting
55s
webclient-linting
webclient-build  /  build
2m 48s
webclient-build / build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
TUM-Dev~NavigaTUM~MGKRSL.dockerbuild Expired
67.5 KB