Skip to content

Merge remote-tracking branch 'upstream/main' #9

Merge remote-tracking branch 'upstream/main'

Merge remote-tracking branch 'upstream/main' #9

Triggered via push January 16, 2024 23:59
Status Success
Total duration 9m 43s
Artifacts 1
Run mypy_primer on push
9m 35s
Run mypy_primer on push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
mypy_primer_diffs Expired
0 Bytes