Google Git
Sign in
opensecura / 3p / sel4proj / sel4runtime / ec193c26f087c056ede94331e9bb7f28603e6866 / . / .github / workflows
tree: 52b370ff1e33a90f2f46bf13be1e0c5e0b36aea2 [path history] [tgz]
  1. pr.yml
  2. push.yml
  3. sel4test-sim.yml
  4. trigger.yml