diff options
| author | Ralf Jung <post@ralfj.de> | 2023-07-02 21:42:27 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-07-02 21:42:34 +0200 |
| commit | 2c5e076fde9d019c85404fb429476b2e2caef365 (patch) | |
| tree | 5f25b143604509644cb053350de1e433f7463029 /src | |
| parent | 0bf13a4870159dbef2941d13ade261dc1b7ab0d2 (diff) | |
| download | rust-2c5e076fde9d019c85404fb429476b2e2caef365.tar.gz rust-2c5e076fde9d019c85404fb429476b2e2caef365.zip | |
sadly 'gh' doesnt support all git upstream branch configs
Diffstat (limited to 'src')
| -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: |