Skip to content

Merge branch 'main' into develop #13

Merge branch 'main' into develop

Merge branch 'main' into develop #13

Triggered via push July 5, 2023 09:39
Status Success
Total duration 17s
Artifacts
call-workflow-build-test-measure  /  Pre run
5s
call-workflow-build-test-measure / Pre run
call-workflow-build-test-measure  /  Lint: .json files
0s
call-workflow-build-test-measure / Lint: .json files
call-workflow-build-test-measure  /  Lint: PHP
0s
call-workflow-build-test-measure / Lint: PHP
call-workflow-build-test-measure  /  Static Analysis: PHP
0s
call-workflow-build-test-measure / Static Analysis: PHP
Fit to window
Zoom out
Zoom in