From a514992b192629f83209c96450a8e66f4ee00698 Mon Sep 17 00:00:00 2001 From: Orion Yeung <11580988+orionyeung001@users.noreply.github.com> Date: Tue, 17 Sep 2024 11:29:15 -0500 Subject: [PATCH] ci: only use latest nightly for coverage keeping some configuration to adapt for additional pinned nightly if needed again --- .github/workflows/coverage.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index a4f8a261..55e1a7ab 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -7,11 +7,13 @@ on: branches: [ master ] jobs: coverage: - timeout-minutes: ${{ matrix.toolchain == 'nightly' && 10 || 360 }} # 360 mins is gh actions default - continue-on-error: ${{ matrix.toolchain == 'nightly' }} - strategy: + strategy: # allows pinning additional nightly + fail-fast: false # allows continue past failure of one toolchain if multiple matrix: - toolchain: [nightly-2024-09-01, nightly] + toolchain: [ nightly ] + + # 360 mins is gh actions default + timeout-minutes: ${{ matrix.toolchain == 'nightly' && 10 || 360 }} name: Coverage runs-on: ubuntu-latest