search

seL4 / util_libs

Other
53 stars 83 forks source link

github: retire pr-queue action #174

Closed lsf37 closed 5 months ago

lsf37 commented 5 months ago

This is the last pace this action was still running. It has been largely ignored, so we should retire it.

lsf37 commented 5 months ago

This should be merged before seL4/ci-actions#321