From 8480847ed8d835239c55e345a0c1b0935b23a19c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 15 Jul 2023 10:26:35 +0200
Subject: [PATCH] style checks: use latest rustc for cron job

---
 src/tools/miri/.github/workflows/ci.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index c87b3e42323..452677d9146 100644
--- a/src/tools/miri/.github/workflows/ci.yml
+++ b/src/tools/miri/.github/workflows/ci.yml
@@ -115,7 +115,12 @@ jobs:
         run: cargo install -f rustup-toolchain-install-master
 
       - 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
         run: |
@@ -203,7 +208,7 @@ jobs:
           ./miri fmt --check || (./miri fmt && git commit -am "fmt")
       - name: Push changes to a branch
         run: |
-          BRANCH="rustup$(date -u +%Y-%m-%d)"
+          BRANCH="rustup-$(date -u +%Y-%m-%d)"
           git switch -c $BRANCH
           git push -u origin $BRANCH
       - name: Create Pull Request