tree ba613babc4aa3117262673d3b6b635036123c320
parent c6474e91e263e85c405f3af4cdc59111f35996d5
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1637308018 +1100
committer Gerwin Klein <gerwin@doclsf.de> 1637309774 +1100

github: use centralised hardware test matrix

See also seL4/ci-actions#170

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