run coverage only after merge

coverage is a quite slow step in CI. It can be run only after merging
quickwit-oss · Oct 6, 2023 · d7d6389 · d7d6389
1 parent e246e57
commit d7d6389
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git 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
@@ -39,6 +39,15 @@ jobs:
 
     - name: Check Formatting
       run: cargo +nightly fmt --all -- --check
+
+    - name: Check Stable Compilation
+      run: cargo build --all-features
+
+    - name: Check Nightly Compilation
+      run: cargo +nightly build --all-features
+
+    - name: Check Bench Compilation
+      run: cargo +nightly bench --no-run --profile=dev --all-features
 
     - uses: actions-rs/clippy-check@v1
       with: