diff --git a/.gitea/workflows/demo.yaml b/.gitea/workflows/demo.yaml
deleted file mode 100644
index c2e4c95..0000000
--- a/.gitea/workflows/demo.yaml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: Gitea Actions Demo
-run-name: ${{ gitea.actor }} is testing out Gitea Actions 🚀
-on: [push]
-jobs:
-  Explore-Gitea-Actions:
-    runs-on: trintignant
-    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 ${{ gitea.status }}."
diff --git a/.gitea/workflows/deploy.yaml b/.gitea/workflows/deploy.yaml
index 4ed1b66..621b04d 100644
--- a/.gitea/workflows/deploy.yaml
+++ b/.gitea/workflows/deploy.yaml
@@ -6,5 +6,6 @@ jobs:
     runs-on: trintignant
     steps:
       - run: pwd
+      - run: cd ${{ gitea.workspace }}; ls -l
       - run: cd ${{ gitea.workspace }}; make
       - run: cd ${{ gitea.workspace }}; make install