Skip to content

Merge branch 'main' into releases #297

Merge branch 'main' into releases

Merge branch 'main' into releases #297

Triggered via push November 1, 2023 15:51
Status Success
Total duration 12s
Artifacts
Create PR with changes that should be merged into another branch
4s
Create PR with changes that should be merged into another branch
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Create PR with changes that should be merged into another branch
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/