Make BugPattern{,Test}Extractor tests more maintainable
#297
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: Update `error-prone.picnic.tech` website content | |
| on: | |
| pull_request: | |
| push: | |
| branches: [ master, website ] | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| jobs: | |
| build: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 | |
| with: | |
| persist-credentials: false | |
| - uses: ruby/setup-ruby@360dc864d5da99d54fcb8e9148c14a84b90d3e88 # v1.165.1 | |
| with: | |
| working-directory: ./website | |
| bundler-cache: true | |
| - name: Configure Github Pages | |
| uses: actions/configure-pages@1f0c5cde4bc74cd7e1254d0cb4de8d49e9068c7d # v4.0.0 | |
| - name: Generate documentation | |
| run: ./generate-docs.sh | |
| - name: Build website with Jekyll | |
| working-directory: ./website | |
| run: bundle exec jekyll build | |
| - name: Validate HTML output | |
| working-directory: ./website | |
| # XXX: Drop `--disable_external true` once we fully adopted the | |
| # "Refaster rules" terminology on our website and in the code. | |
| run: bundle exec htmlproofer --disable_external true --check-external-hash false ./_site | |
| - name: Upload website as artifact | |
| uses: actions/upload-pages-artifact@0252fc4ba7626f0298f0cf00902a25c6afc77fa8 # v3.0.0 | |
| with: | |
| path: ./website/_site | |
| deploy: | |
| if: github.ref == 'refs/heads/website' | |
| needs: build | |
| permissions: | |
| id-token: write | |
| pages: write | |
| runs-on: ubuntu-22.04 | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@7a9bd943aa5e5175aeb8502edcc6c1c02d398e10 # v4.0.2 |