attempt fixup quoting

matzf · Jul 15, 2024 · f5297f1 · f5297f1
1 parent 47cab8b
commit f5297f1
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml
@@ -12,11 +12,10 @@ jobs:
       env:
         TITLE: ${{ github.event.pull_request.title }}
       run: |
-        echo "Check that PR is of the form `<subystem>: <lowercase message>` :monocle_face:" >> $GITHUB_STEP_SUMMARY
+        echo 'Check that PR is of the form `<subsystem>: <lowercase message>` :monocle_face:' >> $GITHUB_STEP_SUMMARY
         url='https://docs.scion.org/en/latest/dev/git.html#good-commit-messages'
         if [[ ! "$TITLE" =~ ^[a-z0-9,/]*:[[:space:]] ]]; then
-          echo "The PR title should start with \"<substystem>: \"."
-          echo "See $url"
+          echo '::warning {The PR title should start with `<substystem>: `.<br>See '"$url"'}'
           exit 1
         fi
         # Title should be lower case; initialisms and identifiers still occur occasionally and should be allowed.