wip dummy

seL4 · Jan 12, 2024 · be12009 · be12009
1 parent 16bf926
commit be12009
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
@@ -11,6 +11,7 @@ name: seL4Test HW
 on:
   # needs PR target for secrets access; guard by requiring label
   pull_request_target:
+    # dummy
     types: [opened, reopened, synchronize, labeled]
 
 # downgrade permissions to read-only as you would have in a standard PR action