Fix link that the link checker doesn't like #4
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: Verify site builds | ||
| on: | ||
| workflow_dispatch: | ||
| schedule: | ||
| - cron: '0 2 * * *' | ||
| jobs: | ||
| test: | ||
| name: Verify site builds | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: Checkout source | ||
| uses: actions/[email protected] | ||
| - name: Install dependencies | ||
| run: pip install -r requirements.txt | ||
| env: | ||
| INSIDERS_PAT: ${{ secrets.MATERIAL_INSIDERS_ACCESS }} | ||
| - name: Build site | ||
| run: mkdocs build | ||
| env: | ||
| // by turning off, we can get checking of anchor links on the site | ||
| // not just external urls. see... | ||
| // https://github.com/manuzhang/mkdocs-htmlproofer-plugin/issues/46#issuecomment-1494267151 | ||
| USE_DIRECTORY_URLS: false | ||
| - name: Send alert on failure | ||
| if: ${{ failure() }} | ||
| uses: zulip/github-actions-zulip/send-message@b62d5a0e48a4d984ea4fce5dd65ba691963d4db4 | ||
| with: | ||
| api-key: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_API_KEY }} | ||
| email: ${{ secrets.ZULIP_SCHEDULED_JOB_FAILURE_EMAIL }} | ||
| organization-url: 'https://ponylang.zulipchat.com/' | ||
| to: notifications | ||
| type: stream | ||
| topic: ${{ github.repository }} scheduled job failure | ||
| content: ${{ github.server_url}}/${{ github.repository }}/actions/runs/${{ github.run_id }} failed. | ||
