Update comment syntax in examples #507
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: Update HTML docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-20.04] | |
| include: | |
| - os: ubuntu-20.04 | |
| install_deps: sudo apt-get install llvm-12-tools llvm-12-dev pkg-config wamerican | |
| path_extension: /usr/lib/llvm-12/bin | |
| steps: | |
| - name: Checkout the repository | |
| uses: actions/checkout@v2 | |
| - name: Install system dependencies | |
| run: | | |
| ${{ matrix.install_deps }} | |
| echo "${{ matrix.path_extension }}" >> $GITHUB_PATH | |
| - name: Cache | |
| uses: actions/cache@v2 | |
| with: | |
| path: | | |
| ~/.stack | |
| $GITHUB_WORKSPACE/.stack-work | |
| key: ${{ runner.os }}-${{ hashFiles('**/*.cabal', 'stack*.yaml') }} | |
| restore-keys: ${{ runner.os }}- | |
| - name: Build | |
| run: make build | |
| - name: Generate docs | |
| run: make docs | |
| - name: Deploy to GitHub Pages | |
| uses: "JamesIves/github-pages-deploy-action@3dbacc7e69578703f91f077118b3475862cb09b8" # 4.1.0 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| branch: gh-pages # The branch the action should deploy to. | |
| folder: pages # The folder the action should deploy. | |
| clean: false # If true, automatically remove deleted files from the deploy branch. | |
| commit-message: Updating gh-pages from ${{ github.sha }} |