diff options
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 12fa2b5a420..c83824963c9 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: '12 * * * *' # Also each hour, for testing + - cron: '22 * * * *' # Also each hour, for testing env: CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' @@ -203,7 +203,9 @@ jobs: ./miri toolchain ./miri fmt --check || (./miri fmt && git commit -am "fmt") - name: Push changes to a branch - run: git push -u origin HEAD:"rustup$(date -u +%Y-%m-%d)" + run: | + git switch -c "rustup$(date -u +%Y-%m-%d)" + git push -u origin - name: Create Pull Request run: gh pr create -B master --title 'Automatic sync from rustc' --body '' env: |