Skip to content

github: drop branch name manipulations #808

github: drop branch name manipulations

github: drop branch name manipulations #808

Triggered via push October 9, 2024 16:01
Status Success
Total duration 2m 52s
Artifacts

mirror.yml

on: push
Fit to window
Zoom out
Zoom in