From 55cea099274cae8911dd1cfa8ae358a92b4c78e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Mah=C3=A9?= Date: Mon, 18 Nov 2024 18:13:40 +0100 Subject: [PATCH] control if markdown files were created --- .github/workflows/jekyll-gh-pages.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml index 3ec3479f..bef5baf8 100644 --- a/.github/workflows/jekyll-gh-pages.yml +++ b/.github/workflows/jekyll-gh-pages.yml @@ -36,6 +36,7 @@ jobs: sudo apt update sudo apt install -y pandoc bash ./scripts/generate_online_documentation.sh + ls -lh ../docs/* - name: Setup Pages uses: actions/configure-pages@v5 - name: Build with Jekyll