search

seL4 / camkes-vm

Virtual Machine built as a CAmkES component.
Other
21 stars 35 forks source link

github: update GitHub actions #126

Closed axel-h closed 7 months ago

axel-h commented 7 months ago

Apply same changes as in https://github.com/seL4/seL4/pull/1172