Skip to content

CI: if adding comments to a PR, add it hidden if the commit being built isn't the last commit in the PR #23042

@rolfbjarne

Description

@rolfbjarne

CI: if adding comments to a PR, add it hidden if the commit being built isn't the last commit in the PR.

Instructions for AI

  • Don't prefix pull requests titles with "[WIP] ".

Metadata

Metadata

Assignees

Labels

enhancementThe issue or pull request is an enhancement

Type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions