Skip to content

Merge branch 'main' into 20230824_merge_dcl10 #46

Merge branch 'main' into 20230824_merge_dcl10

Merge branch 'main' into 20230824_merge_dcl10 #46

Triggered via push August 29, 2023 20:00
Status Success
Total duration 1m 1s
Artifacts
JSON Schema validation through pre-commit
23s
JSON Schema validation through pre-commit
Update documentation if all worked properly
20s
Update documentation if all worked properly
Fit to window
Zoom out
Zoom in