mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2953 - RalfJung:cron, r=RalfJung

Browse Source 
sadly 'gh' doesnt support all git upstream branch configs
This commit is contained in:
bors 2023-07-02 19:43:10 +00:00
commit f0374712c4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/tools/miri/.github/workflows/ci.yml vendored
View File

@ -11,7 +11,7 @@ on:
- 'master' - 'master'
schedule: schedule:
- cron: '6 6 * * *' # At 6:06 UTC every day. - cron: '6 6 * * *' # At 6:06 UTC every day.
- cron: '12 * * * *' # Also each hour, for testing - cron: '22 * * * *' # Also each hour, for testing
env: env:
CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' CARGO_UNSTABLE_SPARSE_REGISTRY: 'true'
@ -203,7 +203,9 @@ jobs:
./miri toolchain ./miri toolchain
./miri fmt --check || (./miri fmt && git commit -am "fmt") ./miri fmt --check || (./miri fmt && git commit -am "fmt")
- name: Push changes to a branch - 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 - name: Create Pull Request
run: gh pr create -B master --title 'Automatic sync from rustc' --body '' run: gh pr create -B master --title 'Automatic sync from rustc' --body ''
env: env: