Skip to content

Commit

Permalink
Merge pull request #1176 from dtolnay/miriname
Browse files Browse the repository at this point in the history
Improve job names for miri jobs
  • Loading branch information
dtolnay authored Aug 12, 2024
2 parents 8073fc1 + 94a2aad commit b4bc643
Showing 1 changed file with 10 additions and 6 deletions.
16 changes: 10 additions & 6 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit b4bc643

Please sign in to comment.