Skip to content

Merge pull request #423 from jcarpent/devel #857

Merge pull request #423 from jcarpent/devel

Merge pull request #423 from jcarpent/devel #857

Triggered via push January 22, 2024 10:44
Status Success
Total duration 55s
Artifacts
Check configuration with git submodules
43s
Check configuration with git submodules
Check configuration without git submodules
27s
Check configuration without git submodules
Fit to window
Zoom out
Zoom in