diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-23 22:00:50 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-07-23 22:00:50 +0200 |
| commit | 8664aa72dcd274be80f24b395bac8cbf10bf93ef (patch) | |
| tree | d91849dd2b14d9d2ae6b4a76ded6b47f87031d07 | |
| parent | 48963fa8c2855e267c7ea92e6379ecc793df20d3 (diff) | |
| download | rust-8664aa72dcd274be80f24b395bac8cbf10bf93ef.tar.gz rust-8664aa72dcd274be80f24b395bac8cbf10bf93ef.zip | |
Remove Zulip API keys and use `set -x`
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 75f3792bca2..73c5936cd99 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -159,20 +159,22 @@ jobs: run: cargo install -f rustup-toolchain-install-master - name: Push changes to a branch and create PR run: | + # Make it easier to see what happens. + set -x # Temporarily disable early exit to examine the status code of rustc-josh-sync set +e rustc-josh-sync pull exitcode=$? set -e - # If there were no changes to pull, rustc-josh-sync returns status code 2 - # In that case skip the rest of the job + # If there were no changes to pull, rustc-josh-sync returns status code 2. + # In that case, skip the rest of the job. if [ $exitcode -eq 2 ]; then echo "Nothing changed in rustc, skipping PR" exit 0 elif [ $exitcode -ne 0 ]; then # If return code was not 0 or 2, rustc-josh-sync actually failed - echo "rustc-josh-sync failed" + echo "error: rustc-josh-sync failed" exit ${exitcode} fi @@ -187,8 +189,6 @@ jobs: gh pr create -B master --title 'Automatic Rustup' --body 'Please close and re-open this PR to trigger CI, then enable auto-merge.' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - ZULIP_BOT_EMAIL: ${{ secrets.ZULIP_BOT_EMAIL }} - ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }} cron-fail-notify: name: cronjob failure notification |