debug push

Author: ConstCorrectness

.github/workflows/deploy.yml

@@ -29,6 +29,9 @@ jobs:
       - name: Build Jupyter Book
         run: npm run build:book
 
+      - name: List files in jupyter-books
+        run: ls -R jupyter-books
+
       - name: Copy Jupyter Book to public
         run: npm run copy:book