tree 7f426fd308915a1c3edf32094148ec4f36306e7b
parent 52a7523aa3b008610fc59f0261ff1fffa3b7f059
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1637105719 +1100
committer Gerwin Klein <gerwin@doclsf.de> 1637106021 +1100

github: provide sel4test hw runs on PR

This is a straight copy from the seL4 repo. The list of platforms to
run should be factored out in the future before we distribute this
workflow over more repos.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>