Merge pull request #217 from timothypratley/allow-sets-as-seqs #87
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: Build and Deploy | |
| on: | |
| push: | |
| branches: | |
| - master | |
| workflow_dispatch: | |
| # This is just a guard against two of these actions | |
| # running at the same time. Not likely an issue for | |
| # us right now, but it could happen. | |
| concurrency: build-and-deploy-${{ github.ref }} | |
| jobs: | |
| deploy-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Deploy documentation | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| folder: docs | |
| branch: gh-pages # default for this action, but including to be explicit | |