16.5.9
Description
Abstract
Use mshick/add-pr-comment to handle PR messages
Background
Some messages made by GitHub Actions are overwritten sometimes accidentally.
Details
Use mshick/add-pr-comment which is capable of checking message marker to prevent overwrite message.
References
Two candidates