From 3f1b8d38941ef4f75ceeb72cb2c83c2342288112 Mon Sep 17 00:00:00 2001
From: Matthias Frei <matzf@scion.org>
Date: Mon, 15 Jul 2024 14:03:01 +0200
Subject: [PATCH] fixup

---
 .github/workflows/pr-title.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 `<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.