nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 23:04:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

automatic PR: explain how to trigger CI

Browse Source
This commit is contained in:
Ralf Jung 2024-10-26 07:23:51 +02:00
parent 3432b91bbc
commit 3ff01dd908
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/.github/workflows/ci.yml vendored
View File

@ -139,7 +139,7 @@ jobs:
git push -u origin $BRANCH git push -u origin $BRANCH
- name: Create Pull Request - name: Create Pull Request
run: | run: |
PR=$(gh pr create -B master --title 'Automatic Rustup' --body '') PR=$(gh pr create -B master --title 'Automatic Rustup' --body 'Please close and re-open this PR to trigger CI, then enable auto-merge.')
~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \ ~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \
--stream miri --subject "Miri Build Failure ($(date -u +%Y-%m))" \ --stream miri --subject "Miri Build Failure ($(date -u +%Y-%m))" \
--message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience." --message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience."