Skip to content

Use the git commit instead of head (#58) #385

Use the git commit instead of head (#58)

Use the git commit instead of head (#58) #385

Triggered via push December 8, 2023 16:04
Status Success
Total duration 13m 39s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in