From 7e1980b2185c7a05023a9e0b34d4d7ec6e4ccec3 Mon Sep 17 00:00:00 2001 From: PSeitz Date: Wed, 18 Oct 2023 07:19:36 +0200 Subject: [PATCH] run coverage only after merge (#2212) * run coverage only after merge coverage is a quite slow step in CI. It can be run only after merging * Apply suggestions from code review Co-authored-by: Paul Masurel --------- Co-authored-by: Paul Masurel --- .github/workflows/coverage.yml | 2 -- .github/workflows/test.yml | 7 +++++++ 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 72c334de6..e1483f669 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -3,8 +3,6 @@ name: Coverage on: push: branches: [main] - pull_request: - branches: [main] # Ensures that we cancel running jobs for the same PR / same workflow. concurrency: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index c2ae025c2..13080f11d 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -39,6 +39,13 @@ jobs: - name: Check Formatting run: cargo +nightly fmt --all -- --check + + - name: Check Stable Compilation + run: cargo build --all-features + + + - name: Check Bench Compilation + run: cargo +nightly bench --no-run --profile=dev --all-features - uses: actions-rs/clippy-check@v1 with: