lightweight forester CI

ToposInstitute · Jul 22, 2024 · e423166 · e423166
1 parent ee250ca
commit e423166
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 0 deletions.
diff --git a/.github/workflows/devdocs.yml b/.github/workflows/devdocs.yml
@@ -0,0 +1,19 @@
+name: DevDocs
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  build_devdocs:
+    name: Build DevDocs
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: xu-cheng/texlive-action@v2
+        with:
+          scheme: small
+          run: |
+            bash scripts/devdocs.sh
diff --git a/scripts/devdocs.sh b/scripts/devdocs.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+FORESTER_VERSION=4.1.0
+SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null
+
+cd SCRIPT_DIR
+tar -xf forester-$FORESTER_VERSION.tar.gz
+cd ..
+cd devdocs
+../scripts/forester build
diff --git a/scripts/forester-4.1.0.tar.gz b/scripts/forester-4.1.0.tar.gz