diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-29 12:28:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-29 12:28:46 +0200 |
| commit | 1fd183ea920bbe20718a4c45315fe2b30bbf4b2d (patch) | |
| tree | e1f091a51febe5b02525cef4baaa89bc8a2b16e0 | |
| parent | 0ed3ef4ea48c7587a164572a7bda3290beb3a81f (diff) | |
| download | rust-1fd183ea920bbe20718a4c45315fe2b30bbf4b2d.tar.gz rust-1fd183ea920bbe20718a4c45315fe2b30bbf4b2d.zip | |
Apply suggestions from code review
Co-authored-by: Ralf Jung <post@ralfj.de>
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 668caef8f7f..ba496d76712 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -169,12 +169,13 @@ jobs: run: rustup toolchain install nightly --profile minimal - name: Install rustup-toolchain-install-master run: cargo install -f rustup-toolchain-install-master + # Create a token for the next step so it can create a PR that actually runs CI. - uses: actions/create-github-app-token@v2 id: app-token with: app-id: ${{ vars.APP_CLIENT_ID }} private-key: ${{ secrets.APP_PRIVATE_KEY }} - - name: Push changes to a branch and create PR + - name: pull changes from rustc and create PR run: | # Make it easier to see what happens. set -x |