search

seL4 / util_libs

Other
53 stars 83 forks source link

CI: cancel older concurrent PR runs #181

Closed axel-h closed 4 months ago

axel-h commented 4 months ago

apply what has been done in:

for handling both PRs and pushes see also what is done here