From ef617102d275e85c3801e093a7934095f18f37ac Mon Sep 17 00:00:00 2001
From: jacobpascual <jacob@pascuals.org>
Date: Sun, 11 Jan 2026 04:57:22 +0000
Subject: [PATCH] Add Gitea Actions workflow (from GitHub)

---
 .gitea/workflows/pull_request.yml | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 .gitea/workflows/pull_request.yml

diff --git a/.gitea/workflows/pull_request.yml b/.gitea/workflows/pull_request.yml
new file mode 100644
index 0000000..899b6f9
--- /dev/null
+++ b/.gitea/workflows/pull_request.yml
@@ -0,0 +1,26 @@
+name: Pull Request Docs Check
+
+on: [pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: https://github.com/actions/checkout@v2
+    - name: Prepare
+      run: |
+        sudo apt-get update -y
+        sudo apt-get install -y git python3-pip mandoc
+        pip install -r docs/requirements.txt
+    - name: Gen_man_pages
+      run: make man
+    - name: Gen_feature_matrix
+      run: make feature_matrix
+    - name: Gen_sphinx
+      uses: ammaraskar/sphinx-action@master
+      with:
+        docs-folder: "docs/"
+    - uses: https://github.com/actions/upload-artifact@v2
+      with:
+        name: DocumentationHTML
+        path: docs/_build/html/