diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml index 1eca988eee..5cbb5e1e0d 100644 --- a/.github/workflows/pr-title.yml +++ b/.github/workflows/pr-title.yml @@ -15,7 +15,7 @@ jobs: echo 'Check that PR is of the form `: ` :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 `: `.
See '"$url"'}' + echo '::warning::The PR title should start with `: `.
See '"$url" exit 1 fi # Title should be lower case; initialisms and identifiers still occur occasionally and should be allowed.