From fdbef2f51fdf63dd52bfe90b92d6cb8efd8c9fa9 Mon Sep 17 00:00:00 2001
From: Gerasimos Chourdakis <gerasimos.chourdakis@ipvs.uni-stuttgart.de>
Date: Tue, 31 Mar 2026 14:03:28 +0200
Subject: [PATCH] Add a CI workflow to build the website

---
 .github/workflows/build.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 .github/workflows/build.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..49beaa1
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,21 @@
+name: Build the website
+
+on:
+  pull_request:
+
+jobs:
+  build-website:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+      - name: Build
+        uses: actions/jekyll-build-pages@v1
+        with:
+          destination: "./built-website"
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: "./built-website"
\ No newline at end of file