Skip to content

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1 #27

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1 #27

Triggered via push October 1, 2024 12:00
Status Success
Total duration 3m 3s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in