Skip to content

Merge pull request #112 from ejoerns/local-conf-update #85

Merge pull request #112 from ejoerns/local-conf-update

Merge pull request #112 from ejoerns/local-conf-update #85

Triggered via push February 19, 2024 08:58
Status Success
Total duration 41s
Artifacts
consistency check
29s
consistency check
Fit to window
Zoom out
Zoom in