Skip to content

Merge pull request #384 from jcarpent/topic/ci #613

Merge pull request #384 from jcarpent/topic/ci

Merge pull request #384 from jcarpent/topic/ci #613

Triggered via push July 31, 2023 11:18
Status Success
Total duration 1m 1s
Artifacts
Check configuration with git submodules
49s
Check configuration with git submodules
Check configuration without git submodules
27s
Check configuration without git submodules
Fit to window
Zoom out
Zoom in