From c1b7503239f03d53d129d540e322fb778c90b3db Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Sun, 25 Jun 2023 16:52:48 +0200
Subject: [PATCH] CI: Check that 'gen_layouts.py' output is uptodate

---
 .github/workflows/check-layouts.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/check-layouts.yml

diff --git a/.github/workflows/check-layouts.yml b/.github/workflows/check-layouts.yml
new file mode 100644
index 0000000..9a8dc75
--- /dev/null
+++ b/.github/workflows/check-layouts.yml
@@ -0,0 +1,19 @@
+name: Check layouts
+
+# Runs 'gen_layouts.py' and checks that the generated file were uptodate.
+# This doesn't run 'check_layout.py'.
+
+on:
+  workflow_dispatch:
+  push:
+  pull_request:
+
+jobs:
+  check-layouts:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout repo
+      uses: actions/checkout@v3
+    - run: python3 gen_layouts.py
+    - name: Check that the generated layouts.xml is uptodate, run python3 gen_layouts.py otherwise
+      run: git diff --exit-code