From 3b6fa5ea3c2986e1df845170de5405f80aa246d3 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 26 Oct 2023 15:18:49 +1100
Subject: [PATCH] github: use central license check action

Avoid duplication of setup and version divergence

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/license.yaml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/license.yaml b/.github/workflows/license.yaml
index 5124d0b..cd173bc 100644
--- a/.github/workflows/license.yaml
+++ b/.github/workflows/license.yaml
@@ -16,6 +16,4 @@ jobs:
     name: License Check
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v4
-    - name: Check
-      uses: fsfe/reuse-action@master
+    - uses: seL4/ci-actions/license-check@master