diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-02 22:43:04 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-02 22:43:04 +0200 |
| commit | 352180b2391da76ba20ddaafd950f5709dde88fe (patch) | |
| tree | fbd051417ee701b1c724fece935125409264af42 | |
| parent | 4c7fbf818612e23e5b92c74264082d21fb4f3cb4 (diff) | |
| download | rust-352180b2391da76ba20ddaafd950f5709dde88fe.tar.gz rust-352180b2391da76ba20ddaafd950f5709dde88fe.zip | |
can't seem to avoid repeating the branch name...
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 84a27c33339..10c7b937e56 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -203,10 +203,10 @@ jobs: ./miri fmt --check || (./miri fmt && git commit -am "fmt") - name: Push changes to a branch run: | - git switch -c "rustup$(date -u +%Y-%m-%d)" - git push -u origin + BRANCH="rustup$(date -u +%Y-%m-%d)" + git switch -c $BRANCH + git push -u origin $BRANCH - name: Create Pull Request run: gh pr create -B master --title 'Automatic sync from rustc' --body '' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - |