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

Auto merge of #2981 - RalfJung:style, r=RalfJung

Browse Source 
style checks: use latest rustc for cron job
This commit is contained in:
bors 2023-07-16 10:59:18 +00:00
commit 0548274b4b
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -115,7 +115,12 @@ jobs:
run: cargo install -f rustup-toolchain-install-master run: cargo install -f rustup-toolchain-install-master
- name: Install "master" toolchain - name: Install "master" toolchain
run: ./miri toolchain run: |
if [[ ${{ github.event_name }} == 'schedule' ]]; then
echo "Building against latest rustc git version"
git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1 > rust-version
fi
./miri toolchain
- name: Show Rust version - name: Show Rust version
run: | run: |
@ -203,7 +208,7 @@ 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: |
BRANCH="rustup$(date -u +%Y-%m-%d)" BRANCH="rustup-$(date -u +%Y-%m-%d)"
git switch -c $BRANCH git switch -c $BRANCH
git push -u origin $BRANCH git push -u origin $BRANCH
- name: Create Pull Request - name: Create Pull Request