diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-02 19:02:34 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-02 19:02:34 +0200 |
| commit | f2ce23074e83e679d22e66871ff65b04406f8f5c (patch) | |
| tree | 21dd683a8871907dc5e2c271cd455b1753deeb5e | |
| parent | 918f39375f4778a6a692cffc9d11cbfe381db4a3 (diff) | |
| download | rust-f2ce23074e83e679d22e66871ff65b04406f8f5c.tar.gz rust-f2ce23074e83e679d22e66871ff65b04406f8f5c.zip | |
cron auto-PR: need to set upstream branch
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 747ac1f32ab..8e1be3fa423 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -204,8 +204,8 @@ 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)" - git push + git switch -c "rustup$(date -u +%Y-%m-%d)" + git push -u - name: Create Pull Request run: gh pr create -B master --title 'Automatic sync from rustc' --body '' env: |