tree dc9294bc540982030652a07ba9be009013e7634d
parent cf104b85d7db7996618ec39df6f137b5be500ced
author Gerwin Klein <gerwin.klein@proofcraft.systems> 1625452771 +1000
committer Gerwin Klein <gerwin@doclsf.de> 1625632845 +1000

Add GitHub action for sel4test simulation

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