diff options
| author | Ralf Jung <post@ralfj.de> | 2022-10-26 14:05:52 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-10-26 14:05:52 +0200 |
| commit | 27e5cc8898b3de022c0912f20a0b1bed7db53a89 (patch) | |
| tree | a38ffbf280aae7639ab1682bdda4012b405427e4 | |
| parent | 6ce5226b4b2b35cb261d92e6ca8622abad28aa6e (diff) | |
| download | rust-27e5cc8898b3de022c0912f20a0b1bed7db53a89.tar.gz rust-27e5cc8898b3de022c0912f20a0b1bed7db53a89.zip | |
simplify GHA
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 10 |
1 files 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 |