Skip to content

Use the git commit instead of head #383

Use the git commit instead of head

Use the git commit instead of head #383

Triggered via push December 8, 2023 16:00
Status Success
Total duration 10m 59s
Artifacts
Matrix: build
publish
0s
publish
Fit to window
Zoom out
Zoom in