Gerwin Klein fa4dfa93e4 github: enable sel4bench hardware test on PR ... Like the sel4test hardware runs, a sel4bench run can be requested via adding a label (`hw-bench`) to any PR. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2022-11-11 17:08:57 +11:00
..
workflows	github: enable sel4bench hardware test on PR	2022-11-11 17:08:57 +11:00