search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

github: bump actions to node20 #226

Closed lsf37 closed 8 months ago

lsf37 commented 8 months ago

GitHub has started issuing warnings for node16 actions.