From 27e5cc8898b3de022c0912f20a0b1bed7db53a89 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 26 Oct 2022 14:05:52 +0200 Subject: [PATCH] simplify GHA --- src/tools/miri/.github/workflows/ci.yml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 659c51f77e6..78e0865f1c0 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -24,16 +24,12 @@ jobs: strategy: fail-fast: false matrix: - build: [linux64, macos, win32] include: - - build: linux64 - os: ubuntu-latest + - os: ubuntu-latest host_target: x86_64-unknown-linux-gnu - - build: macos - os: macos-latest + - os: macos-latest host_target: x86_64-apple-darwin - - build: win32 - os: windows-latest + - os: windows-latest host_target: i686-pc-windows-msvc steps: - uses: actions/checkout@v3