feat: Check where clauses when searching for trait impls #324
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: Build docs | |
| on: | |
| pull_request: | |
| jobs: | |
| add_label: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| has_label: ${{ steps.check-labels.outputs.result }} | |
| steps: | |
| - name: Check if label is present | |
| id: check-labels | |
| uses: actions/github-script@v3 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| script: | | |
| const labels = context.payload.pull_request.labels.map(label => label.name); | |
| if (labels.includes('documentation')) { | |
| return true; | |
| } | |
| // Fetch the list of files changed in the PR | |
| const { data: files } = await github.pulls.listFiles({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| pull_number: context.issue.number | |
| }); | |
| // Check if any file is within the 'docs' folder | |
| const docsChanged = files.some(file => file.filename.startsWith('docs/')); | |
| return docsChanged; | |
| - name: Add label if not present | |
| if: steps.check-labels.outputs.result == 'true' | |
| uses: actions/github-script@v3 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| script: | | |
| const labels = context.payload.pull_request.labels.map(label => label.name); | |
| if (!labels.includes('documentation')) { | |
| github.issues.addLabels({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| issue_number: context.issue.number, | |
| labels: ['documentation'] | |
| }) | |
| } | |
| build_and_deploy: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pull-requests: write | |
| needs: add_label | |
| if: needs.add_label.outputs.has_label == 'true' | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v2 | |
| - name: Setup Node.js | |
| uses: actions/setup-node@v2 | |
| with: | |
| node-version: '18' | |
| - name: Install dependencies | |
| run: yarn | |
| - name: Build docs | |
| run: yarn workspace docs build | |
| - name: Remove pre-releases | |
| working-directory: docs | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: yarn setStable | |
| - name: Deploy to Netlify | |
| uses: nwtgck/actions-netlify@v2.1 | |
| with: | |
| publish-dir: './docs/build' | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| enable-github-deployment: false | |
| deploy-message: "Deploy from GitHub Actions for PR ${{ github.event.number }}" | |
| env: | |
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | |
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | |
| timeout-minutes: 1 |