Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 14d3c94f5164c993033a35a5d9e23ba6dcf12f5f / . / .github / workflows
tree: 995ed6f54f04a562da5be105285fedbbf9d3f444 [path history] [tgz]
  1. pr.yml
  2. push.yml
  3. sel4test-sim.yml
  4. trigger.yml