From ffdc5283567c9fa1d98ee127e4be8738c7facfb6 Mon Sep 17 00:00:00 2001
From: Marco Verleun <marco@verleun.org>
Date: Tue, 2 Apr 2024 13:54:50 +0200
Subject: [PATCH] linting

---
 .gitea/workflows/pre-submit.lint.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 .gitea/workflows/pre-submit.lint.yml

diff --git a/.gitea/workflows/pre-submit.lint.yml b/.gitea/workflows/pre-submit.lint.yml
new file mode 100644
index 0000000..0227645
--- /dev/null
+++ b/.gitea/workflows/pre-submit.lint.yml
@@ -0,0 +1,24 @@
+name: Pre submits Lint
+
+on: [pull_request]
+
+permissions:
+  # Needed to check out the repo.
+  contents: read
+
+jobs:
+
+  yamllint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
+      - env:
+          YAMLLINT_VERSION: "1.26.3"
+        run: |
+          set -euo pipefail
+
+          # Install yamllint
+          pip install "yamllint==${YAMLLINT_VERSION}"
+
+          # Run yamllint
+          make yamllint