Skip to content

Fix bad merge.

Fix bad merge. #266

Triggered via push August 16, 2023 08:04
Status Success
Total duration 16s
Artifacts
Create PR with changes that should be merged into another branch
6s
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/