From 94a2aad7b79543454da3ecdb2e6170b98773ccc2 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Mon, 12 Aug 2024 12:44:06 -0700 Subject: [PATCH] Improve job names for miri jobs --- .github/workflows/ci.yml | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0ad18762b..4620ce8ed 100644 --- 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