CI: Correct version for sticky-pull-request-comment action
This was not caught by CI because it doesn't take effect before merging. |
---|
|
.github/workflows/pr_info_intro.yml |
---|
.github/workflows/pr_info_post.yml |
---|