Merge pull request #33 from hermit-os/ci

ci: rework triggers
hermit-os · Mar 25, 2024 · 0124bed · 0124bed
2 parents a8ee6bc + cdd07b3
commit 0124bed
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -2,7 +2,10 @@ name: CI
 
 on:
   push:
+    branches:
+      - main
   pull_request:
+  merge_group:
 
 jobs:
   fmt:
@@ -33,6 +36,8 @@ jobs:
           toolchain: nightly-2023-11-01
           components: llvm-tools
       - uses: Swatinem/rust-cache@v2
+        with:
+          save-if: ${{ github.ref == 'refs/heads/main' }}
       - name: Build
         run: make
       - name: Run
@@ -62,6 +67,8 @@ jobs:
           toolchain: nightly-2023-11-01
           components: llvm-tools
       - uses: Swatinem/rust-cache@v2
+        with:
+          save-if: ${{ github.ref == 'refs/heads/main' }}
       - name: Build
         run: cargo +nightly-2023-11-01 rustc -- -Zinstrument-mcount -C passes="ee-instrument<post-inline>"
       - name: Run