diff options
| author | bors <bors@rust-lang.org> | 2023-06-29 10:13:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-06-29 10:13:00 +0000 |
| commit | d061edd495ad6c13199e3bcce793b63067c4c6a6 (patch) | |
| tree | 9a6397d341619391f3b50153a4bf1dbcc96c6684 | |
| parent | a3cea7f1792c460ab5ef12b62ad45adc78c03922 (diff) | |
| parent | 2039e7c357133e4b45b74183770873ef1b743d91 (diff) | |
| download | rust-d061edd495ad6c13199e3bcce793b63067c4c6a6.tar.gz rust-d061edd495ad6c13199e3bcce793b63067c4c6a6.zip | |
Auto merge of #2947 - oli-obk:gha_mk_pr, r=RalfJung
Try to fix cronjob PR creation The main tests use `bash` several times, maybe that is the issue here, too?
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 8068db1cf4f..90bd33f9817 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -186,6 +186,7 @@ jobs: The Miri Cronjobs Bot' \ --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com # Attempt to auto-sync with rustc + - uses: actions/checkout@v3 - name: install josh-proxy run: cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06 - name: start josh-proxy @@ -196,6 +197,8 @@ jobs: git config --global user.email 'miri@cron.bot' - name: get changes from rustc run: ./miri rustc-pull + - name: Install rustup-toolchain-install-master + run: cargo install -f rustup-toolchain-install-master - name: format changes (if any) run: | ./miri toolchain |