Skip to content

Merge branch 'main' into devel/41 #11

Merge branch 'main' into devel/41

Merge branch 'main' into devel/41 #11

Triggered via push September 10, 2024 06:16
Status Failure
Total duration 18s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
create-pull-request
8s
create-pull-request
Fit to window
Zoom out
Zoom in

Annotations

1 error
create-pull-request
Process completed with exit code 1.