Skip to content

Merge branch 'main' into develop #1535

Merge branch 'main' into develop

Merge branch 'main' into develop #1535

Triggered via push October 23, 2023 08:29
Status Success
Total duration 17m 32s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
program-logs Expired
319 KB