site: redirect legacy index.md pages to fancy HTML; Mpempba idea incl… #9
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy fancy website | |
| on: | |
| push: | |
| branches: [ main ] | |
| workflow_dispatch: | |
| jobs: | |
| build-deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Set up Node.js | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: '18' | |
| - name: Prepare site content | |
| run: | | |
| mkdir -p docs/ideas docs/publications docs/figs docs/assets | |
| rsync -a --delete ideas/ docs/ideas/ | |
| if [ -d figs ]; then rsync -a figs/ docs/figs/; fi | |
| if [ -d publications ]; then rsync -a publications/ docs/publications/; fi | |
| - name: Generate site pages & manifests | |
| run: | | |
| npm install --no-save marked | |
| node scripts/generate_site.mjs | |
| - name: Deploy to GitHub Pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./docs | |
| cname: ideas.onlyideas.art |