diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 31da3cd..76dbb0a 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -31,3 +31,5 @@
     runs-on: ubuntu-latest
     steps:
     - uses: seL4/ci-actions/style@master
+      with:
+        diff_only: true