From 4a681612d6610dd3ac38ccb58e02e2e85a7eb7d8 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
Date: Thu, 12 Oct 2023 22:48:45 +0200
Subject: [PATCH] workflows: check that the generated CI filters are up-to-date

`make update-ci` is very fast, so we can run it unconditionally.
---
 .github/workflows/check-ci.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 .github/workflows/check-ci.yml

diff --git a/.github/workflows/check-ci.yml b/.github/workflows/check-ci.yml
new file mode 100644
index 000000000..795d05b40
--- /dev/null
+++ b/.github/workflows/check-ci.yml
@@ -0,0 +1,22 @@
+name: Check generated CI
+on:
+  push:
+  pull_request:
+    types: [opened, synchronize, reopened]
+permissions:
+  contents: read
+
+jobs:
+  check-ci:
+    name: Check generated CI
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install example site
+        run: ln -s ./docs/site-example ./site
+      - name: Update CI
+        run: make update-ci
+      - name: Show diff
+        run: git status; git diff
+      - name: Patch status
+        run: git diff-files --quiet
-- 
GitLab