Skip to content

Merge branch 'develop' into RealSessionRestore #767

Merge branch 'develop' into RealSessionRestore

Merge branch 'develop' into RealSessionRestore #767

Triggered via push June 24, 2023 22:53
Status Success
Total duration 42s
Artifacts
check-configuration
34s
check-configuration
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check-configuration
The process '/usr/bin/git' failed with exit code 128