Render site #390
This file contains 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: Render site | |
| # Controls when the action will run. | |
| on: | |
| # Triggers the workflow on push or pull request events but only for the main branch | |
| push: | |
| branches: [main] | |
| schedule: | |
| - cron: "0 15 * * *" | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| jobs: | |
| render: | |
| # Prepares the 'bazelversion' axis of the test matrix | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Generate | |
| run: ./scripts/render_ghpages.sh | |
| env: | |
| OUTPUT_ROOT: ./public | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| # The gitstats/ folder isn't generated by the script, because it's slow. | |
| # For now, just leave those files alone when publishing. | |
| keep_files: true | |
| # Let GitHub Pages crawl our markdown and build a site | |
| enable_jekyll: true |