From a053c8f0c3786b6ed972dbc0a752cd7cdb32711f Mon Sep 17 00:00:00 2001
From: Gwilym Inzani <gw@ilym.me>
Date: Sun, 23 Apr 2023 18:06:52 +0100
Subject: [PATCH] Seems nightly isn't installed by default

---
 .github/workflows/build-and-test.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index 5d1741dd..4b334d24 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -20,8 +20,8 @@ jobs:
       run: sudo apt-get update && sudo apt-get install build-essential binutils-arm-none-eabi libelf-dev zip -y
     - name: Install Miri
       run: |
-        rustup component add --toolchain nightly miri
-        cargo miri setup
+          rustup toolchain install nightly --component miri
+          cargo miri setup
     - uses: actions/checkout@v3
     - name: Cache
       uses: actions/cache@v3