diff options
| author | bors <bors@rust-lang.org> | 2023-07-02 17:05:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-02 17:05:00 +0000 |
| commit | a6eb25aca269b26a5b75dd5276dd542ba978f92b (patch) | |
| tree | 21dd683a8871907dc5e2c271cd455b1753deeb5e | |
| parent | 918f39375f4778a6a692cffc9d11cbfe381db4a3 (diff) | |
| parent | f2ce23074e83e679d22e66871ff65b04406f8f5c (diff) | |
| download | rust-a6eb25aca269b26a5b75dd5276dd542ba978f92b.tar.gz rust-a6eb25aca269b26a5b75dd5276dd542ba978f92b.zip | |
Auto merge of #2951 - rust-lang:cron, r=RalfJung
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: |