Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / d6674667a0df02bba625397aca5cb457d35ccd37 / . / .github / workflows
tree: 670090f3014e21d2c0e1af76bee2892714dca609 [path history] [tgz]
  1. pr.yml
  2. push.yml
  3. sel4test-sim.yml