Skip to content

github action: take care of dirs (again) #22

github action: take care of dirs (again)

github action: take care of dirs (again) #22

Triggered via push October 25, 2023 13:18
Status Success
Total duration 1m 39s
Artifacts
Fit to window
Zoom out
Zoom in