Update server_state docs for Clio #3158
Workflow file for this run
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: Link Checker (PR Build) | |
| on: | |
| # Note: DO NOT change this to "pull request_target" since that grants | |
| # permission for PRs from random forks to modify the repo itself! | |
| pull_request: | |
| types: [opened, edited, synchronize] | |
| jobs: | |
| build: | |
| name: "Build and Check Links" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: "3.9" | |
| - name: Install dependencies | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install dactyl lxml | |
| - name: Check for Conflict Markers | |
| run: | | |
| tool/conflictmarkers.sh | |
| - name: Build docs | |
| run: | | |
| echo '{"github_forkurl": "https://github.com/${{ github.event.pull_request.head.repo.full_name }}", "github_branch": "${{ github.head_ref }}", "github_pr_id": "${{ github.event.number }}", "is_pr_build": true}' > dactyl_vars.json | |
| tool/build_all_langs.sh --vars dactyl_vars.json | |
| - name: Run Dactyl Link Checker | |
| continue-on-error: true | |
| id: linkcheck | |
| run: | | |
| dactyl_link_checker -o -q > linkreport.txt | |
| - name: Assemble Link Report | |
| run: | | |
| sed -i '1,/---------------------------------------/d' linkreport.txt | |
| echo 'LINKREPORT<<EOF' >> $GITHUB_ENV | |
| head -c 65300 linkreport.txt >> $GITHUB_ENV | |
| echo 'EOF' >> $GITHUB_ENV | |
| cat linkreport.txt | |
| - name: Run Style Checker | |
| continue-on-error: true | |
| run: dactyl_style_checker -q > out/style_report.txt | |
| # This only works with PRs that are in-repo, not from forks. | |
| # TODO: delete folders from gh-pages when PRs are closed | |
| - name: Deploy to gh-pages | |
| if: ${{ !github.event.pull_request.head.repo.fork }} | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./out | |
| destination_dir: ./pr-preview/${{ github.head_ref }} | |
| - name: Summarize Output | |
| if: ${{ !github.event.pull_request.head.repo.fork }} | |
| uses: thollander/actions-comment-pull-request@v1 | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| message: "${{ env.LINKREPORT }}\n\nPreview: https://${{ github.repository_owner }}.github.io/${{ github.event.pull_request.base.repo.name }}/pr-preview/${{ github.head_ref }}/\n\n[Style Report](https://${{ github.repository_owner }}.github.io/${{ github.event.pull_request.base.repo.name }}/pr-preview/${{ github.head_ref }}/style_report.txt)" | |
| # Workaround for https://github.com/actions/toolkit/issues/399 | |
| # to mark the CI as failed if the link checker found broken links. | |
| - name: Mark Failure | |
| if: steps.linkcheck.outcome != steps.linkcheck.conclusion | |
| run: exit 1 |