Skip to content

github action: fix branch names #17

github action: fix branch names

github action: fix branch names #17

Triggered via push October 25, 2023 12:55
Status Success
Total duration 1m 22s
Artifacts
Fit to window
Zoom out
Zoom in