Skip to content

fix: fix Maybe with future annotations #9985

fix: fix Maybe with future annotations

fix: fix Maybe with future annotations #9985

Triggered via pull request October 18, 2025 14:16
@bellini666bellini666
synchronize #4031
Status Success
Total duration 1m 56s
Artifacts

release-check.yml

on: pull_request_target
Get PR info
3s
Get PR info
Set skip if PR is from a bot
2s
Set skip if PR is from a bot
Release check
13s
Release check
Read TWEET.md
15s
Read TWEET.md
send-comment
18s
send-comment
validate-tweet
5s
validate-tweet
fail-if-status-is-not-ok
2s
fail-if-status-is-not-ok
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
Set skip if PR is from a bot
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/
Release check
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/
Release check
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/
Release check
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/
Read TWEET.md
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/
Read TWEET.md
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/
Read TWEET.md
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/