Skip to content

Merge branch 'releases' #304

Merge branch 'releases'

Merge branch 'releases' #304

Triggered via push November 9, 2023 10:49
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/