diff --git a/.github/workflows/dev_pr_milestone.sh b/.github/workflows/dev_pr_milestone.sh
index b6876b4b0..4a77eb1f7 100755
--- a/.github/workflows/dev_pr_milestone.sh
+++ b/.github/workflows/dev_pr_milestone.sh
@@ -37,8 +37,8 @@ main() {
     local -r milestone=$(
       gh api "/repos/${repo}/milestones" |
         jq --raw-output '.[] | .title' |
-        grep -E '^[0-9]+\.[0-9]+\.[0-9]+$'
-      head -n1
+        grep -E '^[0-9]+\.[0-9]+\.[0-9]+$' |
+        head -n1
     )
 
     echo "Assigning milestone: ${milestone}"