fixup

.github/workflows/pr-title.yml

@@ -15,7 +15,7 @@ jobs:
         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 '::warning {The PR title should start with `<substystem>: `.<br>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.