HACK: check on the disable_style branch as well

CTSRD-CHERI · Mar 25, 2024 · c3ae5df · c3ae5df
1 parent dd9140f
commit c3ae5df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
@@ -8,7 +8,7 @@ name: Style Checker
 
 on:
   pull_request: # maybe pull_request_target
-    branches: [ dev ]
+    branches: [ dev, disable_style ]
     types: [ opened, reopened, edited, synchronize ]
 
 permissions: