From 46fef5ed49865e51aed839d7f60d29e074b13c35 Mon Sep 17 00:00:00 2001 From: SatoshiTerasaki Date: Fri, 29 Nov 2024 13:03:37 +0900 Subject: [PATCH] Fix ExportPluto.yml --- .github/workflows/ExportPluto.yaml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ExportPluto.yaml b/.github/workflows/ExportPluto.yaml index ddbd01a..fa7ee68 100644 --- a/.github/workflows/ExportPluto.yaml +++ b/.github/workflows/ExportPluto.yaml @@ -46,7 +46,8 @@ jobs: - name: Edit .gitignore to allow to track html files run: | - rm .gitignore + sed -i '/\.html$/s/^/# /' .gitignore + cat .gitignore - name: Instantiate run: | julia --project -e 'using Pkg; Pkg.instantiate()' @@ -64,7 +65,7 @@ jobs: Export_baked_state=false, # more parameters can go here )' - - name: List files + - name: List files in pluto_notebooks run: ls ./pluto_notebooks - name: Deploy to gh-pages uses: JamesIves/github-pages-deploy-action@releases/v4 @@ -72,5 +73,5 @@ jobs: with: token: ${{ secrets.GITHUB_TOKEN }} branch: gh-pages - folder: ./ + folder: ./pluto_notebooks single-commit: true \ No newline at end of file