Code

CI: cancel older concurrent PR runs#192

Code

Merged

lsf37 merged 2 commits intoseL4:masterseL4/seL4_tools:masterfrom axel-h:patch-axel-20axel-h/seL4_tools:patch-axel-20Copy head branch name to clipboardMar 12, 2024

+14-3

Commits

Commits on Mar 6, 2024

• CI: the seL4/machine_queue repo is public now

  Show description for a169d92
  axel-h

  committed
  a169d92

  Copy full SHA for a169d92

Commits on Mar 11, 2024

• CI: cancel older concurrent PR runs

  Show description for c5a2a28
  axel-h

  committed
  c5a2a28

  Copy full SHA for c5a2a28