Skip to content

fix: fix Maybe with future annotations #9984

fix: fix Maybe with future annotations

fix: fix Maybe with future annotations #9984

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

release-check.yml

on: pull_request_target
Get PR info
3s
Get PR info
Set skip if PR is from a bot
3s
Set skip if PR is from a bot
Release check
14s
Release check
Read TWEET.md
12s
Read TWEET.md
send-comment
13s
send-comment
validate-tweet
12s
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/