diff options
| author | bors <bors@rust-lang.org> | 2023-07-26 07:40:36 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-26 07:40:36 +0000 |
| commit | cba1df1b666ba3ec0a02188d4fa3332aaab31296 (patch) | |
| tree | 975a85b0058c07bd83458c14b46d06258e032480 | |
| parent | 0c9d1a353e117fc7644fefb6c820476b1ff34271 (diff) | |
| parent | d81ab0d917c83f76e6f436ab8308a0249f9b9ba0 (diff) | |
| download | rust-cba1df1b666ba3ec0a02188d4fa3332aaab31296.tar.gz rust-cba1df1b666ba3ec0a02188d4fa3332aaab31296.zip | |
Auto merge of #2992 - RalfJung:ci, r=RalfJung
CI tweaks
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 452677d9146..042bb9bbd2c 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -10,10 +10,7 @@ on: branches: - 'master' schedule: - - cron: '6 6 * * *' # At 6:06 UTC every day. - -env: - CARGO_UNSTABLE_SPARSE_REGISTRY: 'true' + - cron: '11 5 * * *' # At 5:11 UTC every day. defaults: run: @@ -21,10 +18,6 @@ defaults: jobs: build: - runs-on: ${{ matrix.os }} - env: - RUST_BACKTRACE: 1 - HOST_TARGET: ${{ matrix.host_target }} strategy: fail-fast: false matrix: @@ -35,6 +28,10 @@ jobs: host_target: x86_64-apple-darwin - os: windows-latest host_target: i686-pc-windows-msvc + runs-on: ${{ matrix.os }} + env: + RUST_BACKTRACE: 1 + HOST_TARGET: ${{ matrix.host_target }} steps: - uses: actions/checkout@v3 |