search

seL4 / ci-actions

CI GitHub actions for the seL4 repositories
https://sel4.systems
3 stars 13 forks source link

bashisms: bump devscripts version #315

Closed lsf37 closed 7 months ago

lsf37 commented 7 months ago

(no change in bashisms)