diff options
| author | bors <bors@rust-lang.org> | 2023-07-02 18:25:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-02 18:25:59 +0000 |
| commit | 0bf13a4870159dbef2941d13ade261dc1b7ab0d2 (patch) | |
| tree | ff61739543411aee71aff2ca57a4dd66bbe4b5c7 /src | |
| parent | 7d12d2f08ba37e0b1f0d1847abda7e8e378034a5 (diff) | |
| parent | 32168b765394696d670b9cefbd94b3a067ecc582 (diff) | |
| download | rust-0bf13a4870159dbef2941d13ade261dc1b7ab0d2.tar.gz rust-0bf13a4870159dbef2941d13ade261dc1b7ab0d2.zip | |
Auto merge of #2952 - RalfJung:cron, r=RalfJung
cronjob auto-PR: try to fix setting the remote branch
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 8e1be3fa423..12fa2b5a420 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -11,7 +11,7 @@ on: - 'master' schedule: - cron: '6 6 * * *' # At 6:06 UTC every day. - - cron: '42 * * * *' # Also each hour, for testing + - cron: '12 * * * *' # Also each hour, for testing env: CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' @@ -203,9 +203,7 @@ jobs: ./miri toolchain ./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 + run: git push -u origin HEAD:"rustup$(date -u +%Y-%m-%d)" - name: Create Pull Request run: gh pr create -B master --title 'Automatic sync from rustc' --body '' env: |