Skip to content

Merge pull request #17 from pep-dortmund/update_ci #16

Merge pull request #17 from pep-dortmund/update_ci

Merge pull request #17 from pep-dortmund/update_ci #16

Triggered via push September 29, 2024 19:14
Status Skipped
Total duration 2s
Artifacts
Template Cleanup
0s
Template Cleanup
Fit to window
Zoom out
Zoom in