From c892422949ce27ad86f4728cacc98b68a9721641 Mon Sep 17 00:00:00 2001 From: DaniPopes <57450786+DaniPopes@users.noreply.github.com> Date: Mon, 28 Aug 2023 23:32:33 +0200 Subject: [PATCH] Add more miri jobs in CI --- .github/workflows/ci.yml | 29 ++++++++++++++++++----------- 1 file changed, 18 insertions(+), 11 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c20b6d5..058254f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,7 +21,7 @@ jobs: matrix: target: [x86_64-unknown-linux-gnu, aarch64-unknown-linux-gnu] rust: [nightly, beta, stable, 1.64] - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@master @@ -51,19 +51,26 @@ jobs: miri: name: Miri runs-on: ubuntu-latest - timeout-minutes: 45 + timeout-minutes: 30 + strategy: + fail-fast: false + matrix: + target: [x86_64-unknown-linux-gnu, aarch64-unknown-linux-gnu] + flags: [--no-default-features, "", --all-features] + env: + MIRIFLAGS: -Zmiri-strict-provenance steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@miri - - run: cargo miri setup - - run: cargo miri test - env: - MIRIFLAGS: -Zmiri-strict-provenance + with: + target: ${{ matrix.target }} + - run: cargo miri setup --target ${{ matrix.target }} ${{ matrix.flags }} + - run: cargo miri test --target ${{ matrix.target }} ${{ matrix.flags }} fuzz: name: Fuzz runs-on: ubuntu-latest - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@nightly @@ -84,7 +91,7 @@ jobs: clippy: name: Clippy runs-on: ubuntu-latest - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@clippy @@ -93,7 +100,7 @@ jobs: docs: name: docs runs-on: ubuntu-latest - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@nightly @@ -106,7 +113,7 @@ jobs: fmt: name: fmt runs-on: ubuntu-latest - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/rust-toolchain@nightly @@ -118,7 +125,7 @@ jobs: name: Outdated runs-on: ubuntu-latest if: github.event_name != 'pull_request' - timeout-minutes: 45 + timeout-minutes: 30 steps: - uses: actions/checkout@v3 - uses: dtolnay/install@cargo-outdated