From 8a803c020f691872dab91a246693dd96222fd670 Mon Sep 17 00:00:00 2001
From: Brian Schiller <brian.schiller@rwth-aachen.de>
Date: Tue, 25 Jun 2024 15:28:16 +0200
Subject: [PATCH] test 6

---
 .github/workflows/push-main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/push-main.yml b/.github/workflows/push-main.yml
index 5525e7bc1..7fc022492 100644
--- a/.github/workflows/push-main.yml
+++ b/.github/workflows/push-main.yml
@@ -28,6 +28,9 @@ jobs:
         run: |
           cd Documentation
           make html
+      - name: Check Path
+        run: |
+          ls
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with: