Skip to content

merge: simplify directory names before mkdir #1875

merge: simplify directory names before mkdir

merge: simplify directory names before mkdir #1875

Triggered via push November 9, 2025 16:20
Status Success
Total duration 5m 16s
Artifacts

main.yml

on: push
Test on ubuntu-latest
5m 12s
Test on ubuntu-latest
Fit to window
Zoom out
Zoom in