github: retire pr-queue action

This is the last pace this action was still running. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jan 28, 2024 · 5a0472c · 5a0472c
1 parent 0ede24e
commit 5a0472c
Showing 1 changed file with 0 additions and 21 deletions.
diff --git a/.github/workflows/prqueue.yml b/.github/workflows/prqueue.yml