Skip to content

Merge pull request #1199 from cryspen/rework-name-repr #3510

Merge pull request #1199 from cryspen/rework-name-repr

Merge pull request #1199 from cryspen/rework-name-repr #3510

Triggered via push January 30, 2025 14:20
Status Skipped
Total duration 5s
Artifacts
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in