From 6ce0fab196bccae5b441eadd49983c15514e7721 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sun, 28 Jan 2024 11:51:10 +1100
Subject: [PATCH] github: retire pr-queue action

This is the last pace this action was still running.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/prqueue.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .github/workflows/prqueue.yml

diff --git a/.github/workflows/prqueue.yml b/.github/workflows/prqueue.yml
deleted file mode 100644
index 58992e061..000000000
--- a/.github/workflows/prqueue.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 2021, Data61, CSIRO (ABN 41 687 119 230)
-#
-# SPDX-License-Identifier: BSD-2-Clause
-
-# Queue next PR on pushes to master
-name: PR Queue
-
-on:
-  push:
-    branches:
-      - master
-  workflow_dispatch: {}
-
-jobs:
-  notify:
-    name: Notify PR candidate
-    runs-on: ubuntu-latest
-    steps:
-    - uses: seL4/ci-actions/pr-queue@master
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}