about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
diff options
context:
space:
mode:
authorOli Scherer <github35764891676564198441@oli-obk.de>2025-01-31 06:12:43 +0000
committerGitHub <noreply@github.com>2025-01-31 06:12:43 +0000
commitbcda8927d010915dd50991cda41d01ee16e545ee (patch)
tree2f5b7438dad8635d3d521bb0d04428eed0c4b2cd /src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
parente1d050732198114a28cca6749375236cab5b21e8 (diff)
parent74ca1cfb2aec94ae9e6c277b20c2caa4588c9993 (diff)
downloadrust-bcda8927d010915dd50991cda41d01ee16e545ee.tar.gz
rust-bcda8927d010915dd50991cda41d01ee16e545ee.zip
Merge pull request #4166 from rust-lang/rustup-2025-01-31
Automatic Rustup
Diffstat (limited to 'src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml')
-rw-r--r--src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
index 87a3ee2e78f..615927d55e5 100644
--- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
+++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
@@ -50,10 +50,10 @@ jobs:
           RESULT=`gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | length' --json title`
           if [[ "$RESULT" -eq 0 ]]; then
             echo "Creating new pull request"
-            PR_URL=gh pr create -B master --title 'Rustc pull update' --body 'Latest update from rustc.'
+            PR_URL=`gh pr create -B master --title 'Rustc pull update' --body 'Latest update from rustc.'`
             echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT
           else
-            PR_URL=gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | .[0].url' --json url,title
+            PR_URL=`gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | .[0].url' --json url,title`
             echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT
           fi
         env: