add robot comment?

metadriverse · Oct 20, 2023 · 581ae07 · 581ae07
1 parent 30bdb43
commit 581ae07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -59,7 +59,7 @@ jobs:
           printf 'Docstring coverage check successful! We require the docstring coverage to be non-decreasing after PR. You have changed the coverage by: %s%%\n' "$improvement"
           ROBOTMSG="Docstring coverage check successful! You have changed the coverage from ${before} to ${after} by ${improvement}."
           echo $ROBOTMSG
-          echo "$ROBOTMSG=$ROBOTMSG" >> "$GITHUB_ENV"
+          echo "ROBOTMSG=$ROBOTMSG" >> "$GITHUB_ENV"
       - uses: actions/github-script@v6
         with:
           script: |