search

seL4 / ci-actions

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

Retire the unused pr-queue action #321

Closed lsf37 closed 7 months ago

lsf37 commented 7 months ago

We're not using it on the seL4 repos any more, it never really took off.

Removing it now, because it adds maintenance burden for node.js dependencies.

lsf37 commented 7 months ago

(need to merge this before #322)