Merge branch '👷-tagref' into 🦆

Author: yvt

.github/actions/install-tagref/action.yml

@@ -0,0 +1,11 @@
+name: r3-install-tagref
+description: Install Tagref
+runs:
+  using: composite
+  steps:
+    - shell: bash
+      run: |
+        wget https://github.com/stepchowfun/tagref/releases/download/v1.5.0/tagref-x86_64-unknown-linux-gnu -O tagref-x86_64-unknown-linux-gnu
+        sha256sum .github/actions/install-tagref/tagref.sha256
+        chmod +x tagref-x86_64-unknown-linux-gnu
+        sudo mv tagref-x86_64-unknown-linux-gnu /usr/local/bin/tagref

.github/actions/install-tagref/tagref.sha256

@@ -0,0 +1 @@
+c29dfaa7614d524449fd5f9085fac5a03434e6f90db864d0df183ce9f8a23e7c  tagref-x86_64-unknown-linux-gnu

.github/workflows/ci.yml

@@ -19,6 +19,9 @@ jobs:
           profile: minimal
           components: clippy, rustfmt
 
+      - name: Install tagref
+        uses: ./.github/actions/install-tagref
+
       - name: Install dependencies (Linux)
         run: |
           sudo apt-get update
@@ -31,6 +34,9 @@ jobs:
           sed -E -i.bak 's/.*basic_.*//' Cargo.toml
           sed -E -i.bak 's/.*smp_rp_pico.*//' Cargo.toml
 
+      - name: Check cross-references with Tagref
+        run: tagref
+
       - name: Clippy
         uses: actions-rs/clippy-check@v1
         with:

shell.nix

@@ -7,6 +7,7 @@ runCommand "dummy" rec {
     libusb1
     openocd
     rustup
+    tagref
     qemu
     gcc
   ];