Skip to content

Rename default branch to "main" #39

Rename default branch to "main"

Rename default branch to "main" #39

Triggered via push November 15, 2023 10:47
Status Success
Total duration 1m 7s
Artifacts
Matrix: static-analysis
Fit to window
Zoom out
Zoom in