diff options
| author | bors <bors@rust-lang.org> | 2022-10-26 12:26:43 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-26 12:26:43 +0000 |
| commit | 859da657d978d79711454f5cd7214d3f970d3bd0 (patch) | |
| tree | 0071a614ce972125c96733b94a784dc69e2d930c | |
| parent | 2b160e8aa2c9212ad551dfd497cf8dfe79f5abcd (diff) | |
| parent | 27e5cc8898b3de022c0912f20a0b1bed7db53a89 (diff) | |
| download | rust-859da657d978d79711454f5cd7214d3f970d3bd0.tar.gz rust-859da657d978d79711454f5cd7214d3f970d3bd0.zip | |
Auto merge of #2622 - RalfJung:ci, r=RalfJung
simplify GHA I think we can just list the cases with `include:` and don't also need this `build` array.
| -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 |