search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 63 forks source link

github: bump actions to node20 #113

Closed lsf37 closed 9 months ago

lsf37 commented 10 months ago

GitHub has started issuing warnings for node16 actions.