Update Coalton documentation for coalton-lang/coalton@b5e8693ee281ee3… #328
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: CD | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/main' | |
| steps: | |
| - name: Git checkout | |
| uses: actions/checkout@v2 | |
| - name: Update theme | |
| # (Optional)If you have the theme added as submodule, you can pull it and use the most updated version | |
| run: git submodule update --init --recursive | |
| - name: Setup hugo | |
| uses: peaceiris/actions-hugo@v2 | |
| with: | |
| hugo-version: "0.102.2" | |
| - name: Build | |
| # remove --minify tag if you do not need it | |
| # docs: https://gohugo.io/hugo-pipes/minification/ | |
| # run: hugo --minify | |
| run: hugo | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| personal_token: ${{ secrets.COALTON_WEBSITE_DEPLOY_TOKEN }} | |
| external_repository: coalton-lang/coalton-lang.github.io | |
| publish_dir: ./public | |
| # keep_files: true | |
| user_name: Coalton Deploy Bot | |
| user_email: <[email protected]> | |
| publish_branch: main | |
| # cname: example.com |