Improve job names for miri jobs

dtolnay · Aug 12, 2024 · d0db781 · d0db781
1 parent 8073fc1
commit d0db781
Showing 1 changed file with 10 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -80,16 +80,20 @@ jobs:
       - run: cargo check --locked
 
   miri:
-    name: Miri
+    name: Miri (${{matrix.name}})
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
       matrix:
-        target:
-          - x86_64-unknown-linux-gnu
-          - powerpc64-unknown-linux-gnu
-          - i686-unknown-linux-gnu
-          - mips-unknown-linux-gnu
+        include:
+          - name: 64-bit little endian
+            target: x86_64-unknown-linux-gnu
+          - name: 64-bit big endian
+            target: powerpc64-unknown-linux-gnu
+          - name: 32-bit little endian
+            target: i686-unknown-linux-gnu
+          - name: 32-bit big endian
+            target: mips-unknown-linux-gnu
     env:
       MIRIFLAGS: -Zmiri-strict-provenance
     timeout-minutes: 45