Google Git
Sign in
opensecura/3p/sel4/util_libs/666752ffc25d1edec5c93613b9f8dbd8bce6dcd6/./.github/workflows
tree: f77b6174896850dd4a35026e97485f9ec968a1d1
  1. pr.yml
  2. prqueue.yml
  3. push.yml
  4. sel4test-hw.yml
  5. sel4test-sim.yml
  6. trigger.yml