dummy commit

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 30, 2024 · 5812b1f · 5812b1f
1 parent 835a8c2
commit 5812b1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-hw.yml b/.github/workflows/test-hw.yml
@@ -10,7 +10,7 @@ name: HW
 
 on:
   # needs PR target for secrets access; guard by requiring label
-  pull_request_target:
+  pull_request_target: # !! dummy
     types: [opened, reopened, synchronize, labeled]
 
 # downgrade permissions to read-only as you would have in a standard PR action