diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 20e5f30d86..583974823a 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -15,7 +15,6 @@ jobs:
           sudo mv doxygen-*/bin/doxy* /usr/local/bin
       - name: Generate docs
         run: doxygen
-      - run: ls -l docs/html
       # deploy to gh pages if repo is pmret/papermario
       - name: Deploy to gh-pages
         if: github.repository != 'pmret/papermario'