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

cron auto-PR: need to set upstream branch

Browse Source
This commit is contained in:
Ralf Jung 2023-07-02 19:02:34 +02:00
parent 918f39375f
commit f2ce23074e
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") ./miri fmt --check || (./miri fmt && git commit -am "fmt")
- name: Push changes to a branch - name: Push changes to a branch
run: | run: |
git switch -c "rustup$(date -u +%Y-%m)" git switch -c "rustup$(date -u +%Y-%m-%d)"
git push git push -u
- 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: