diff options
| author | Beat Hagenlocher | 2024-07-01 15:34:47 +0200 |
|---|---|---|
| committer | Beat Hagenlocher | 2024-07-01 15:34:47 +0200 |
| commit | 6c0aeab756d8c0c7db067e5727c6e4c4c93e4ab3 (patch) | |
| tree | f5f52a96c460d1c01cb18f27dc43a270e2c65d07 | |
| parent | f2d1b913fdd2955b18f17de74fce9c9e70bbfd58 (diff) | |
Adjust workflow to not render the README
| -rw-r--r-- | .github/workflows/pages.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 062acd1..b06ba53 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -46,15 +46,16 @@ jobs: ~/.local/share/racket key: ${{ runner.os }}-racket-current-${{ hashFiles('.racket-version') }} - run: raco pkg install --auto --skip-installed pollen string-interpolation + - run: mkdir output - run: raco pollen render - - run: raco pollen reset + - run: cp -r assets *.html *.css output - name: Setup Pages uses: actions/configure-pages@v2 - name: Upload artifact uses: actions/upload-pages-artifact@v1 with: - # Upload entire repository - path: '.' + # Upload ./output only + path: './output' - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v1 |