mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Auto merge of #2951 - rust-lang:cron, r=RalfJung

Browse source 
cron auto-PR: need to set upstream branch
This commit is contained in:
bors 2023-07-02 17:05:00 +00:00
commit a6eb25aca2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/.github/workflows/ci.yml vendored
View file

@ -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: