Publish #56
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: Publish | |
| on: | |
| workflow_dispatch: | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| publish: | |
| env: | |
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 | |
| - uses: actions/setup-python@39cd14951b08e74b54015e9e001cdefcf80e669f # v5.1.1 | |
| with: | |
| python-version: '3.11' | |
| - name: Install Dependencies | |
| run: | | |
| pip install -r requirements.txt | |
| npm install netlify-cli -g | |
| - name: Make top level files | |
| run: make -C src html | |
| - name: Assemble site | |
| run: | | |
| python scripts/site.py build | |
| cp -r src/_build/html/* dist | |
| - name: Publish to development | |
| # Publish to preview for a PR | |
| # Cannot publish from a fork because no access to secrets | |
| if: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork == false }} | |
| run: netlify deploy --dir=dist --site=oneapi-spec | |
| - name: Publish to production | |
| # Publish to production when manually triggered for main | |
| if: ${{ github.event_name == 'workflow_dispatch' || github.ref == 'refs/heads/main' }} | |
| run: netlify deploy --dir=dist --site=oneapi-spec --prod |