From 4a9eb6d50c044ace3c317f056ac0d8b8f2e594d9 Mon Sep 17 00:00:00 2001
From: Matthew Gretton-Dann <matt@gretton-dann.org.uk>
Date: Fri, 15 Mar 2024 11:33:26 +0000
Subject: [PATCH] Update demo to do a build

---
 .gitea/workflows/demo.yaml | 33 +++++++++++++++++++--------------
 1 file changed, 19 insertions(+), 14 deletions(-)

diff --git a/.gitea/workflows/demo.yaml b/.gitea/workflows/demo.yaml
index 95d3e85..248d5c3 100644
--- a/.gitea/workflows/demo.yaml
+++ b/.gitea/workflows/demo.yaml
@@ -1,20 +1,25 @@
-name: Gitea Actions Demo
-run-name: ${{ gitea.actor }} is testing out Gitea Actions 🚀
+name: "BuildTest"
 on: [push]
 
 jobs:
-  Explore-Gitea-Actions:
+  build:
+    name: "Build and test"
     runs-on: ubuntu-latest
     steps:
-      - run: echo "🎉 The job was automatically triggered by a ${{ gitea.event_name }} event."
-      - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by Gitea!"
-      - run: echo "🔎 The name of your branch is ${{ gitea.ref }} and your repository is ${{ gitea.repository }}."
-      - name: Check out repository code
-        uses: actions/checkout@v3
-      - run: echo "💡 The ${{ gitea.repository }} repository has been cloned to the runner."
-      - run: echo "🖥️ The workflow is now ready to test your code on the runner."
-      - name: List files in the repository
-        run: |
-          ls ${{ gitea.workspace }}
-      - run: echo "🍏 This job's status is ${{ job.status }}."
+      - name: "Install build deps"
+        run: sudo apt install build-essential
 
+      - name: "Checkout repo"
+        uses: actions/checkout@v3
+
+      - name: "Bootstrap nuweb"
+        run: make nuweb
+
+      - name: "Make nuweb.tex"
+        run: make nuweb.tex nuwebdoc.tex
+
+      - name: "Build again"
+        run: make nuweb
+
+      - name: "Run tests"
+        run: make check