Merge pull request #4019 from tertsdiepraam/ci-post-gnu-comment

GnuComment: clear comment log before appending the messages
This commit is contained in:
Sylvestre Ledru 2022-10-10 08:02:33 +02:00 committed by GitHub
commit 46ceea0442
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -194,6 +194,10 @@ jobs:
mkdir -p ${COMMENT_DIR}
echo ${{ github.event.number }} > ${COMMENT_DIR}/NR
COMMENT_LOG="${COMMENT_DIR}/result.txt"
# The comment log might be downloaded from a previous run
# We only want the new changes, so remove it if it exists.
rm -f ${COMMENT_LOG}
touch ${COMMENT_LOG}
if test -f "${REF_LOG_FILE}"; then