From 740c1a8536700557b102205f1588a9728cb0b763 Mon Sep 17 00:00:00 2001
From: Stefan Fabian <fabian@sim.tu-darmstadt.de>
Date: Fri, 9 Aug 2024 18:20:08 +0200
Subject: [PATCH] Updated documentation build.

---
 .github/workflows/documentation.yml | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 5480a69..acb2b53 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -7,26 +7,19 @@ on:
 
 jobs:
   build:
-    runs-on: debian-latest
-    container: debian:buster-slim
+    runs-on: ubuntu-latest
     steps:
       - name: Prerequisites
         run: |
           apt-get update
           apt-get install -y git doxygen graphviz
-        shell: bash
-
       - name:  Checkout Code
         uses:  actions/checkout@v4
         with:
           fetch-depth: 0
-
-      - name: Execute script to build our documentation and update pages
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Build documentation
         run: |
           cd docs && make html
-        shell: bash
       - uses: actions/upload-pages-artifact@v1
         with:
           name: github-pages