From be120091513445d38bde85798073b88a9ed60e44 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 12 Jan 2024 14:49:50 +0100 Subject: [PATCH] wip dummy --- .github/workflows/sel4test-hw.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml index 9a0d756c..14a4e68b 100644 --- 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