100644 blob c0f53980ac696d15978421562ef1cacdb68fd25e	pr.yml
100644 blob 76dbb0a197968f2af3169887287985e09fc0ece8	push.yml
100644 blob 99488e10110e3b0dcd32b19c3ae89749603b985d	sel4test-sim.yml
100644 blob 8410b7eb0ca17b252f53ca38bef9272dea2791fa	trigger.yml