First attempt at GitHub Actions Gerby

pbelmans · Jan 28, 2025 · d6be3b5 · d6be3b5
1 parent 81387b6
commit d6be3b5
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/.github/workflows/gerby.yml b/.github/workflows/gerby.yml
@@ -0,0 +1,25 @@
+name: Gerby
+on:
+  - push
+  - workflow_dispatch
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Install Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.9'
+      - name: Install Gerby
+        run: |
+          pip install git+https://github.com/gerby-project/plastex.git
+      - name: Prepare the TeX files
+        run: |
+          apk add make
+          make web
+      - name: Run Gerby
+        run: |
+          plastex --renderer=Gerby book.tex
+