Skip to content

Add permissions to the github workflow that creates a PR for merging … #521

Add permissions to the github workflow that creates a PR for merging …

Add permissions to the github workflow that creates a PR for merging … #521

Triggered via push June 28, 2025 10:36
Status Success
Total duration 28m 43s
Artifacts

main-status.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

8 errors
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (17)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException
build (11)
java.lang.InterruptedException