fix: remove invalid prover json (#1134) #381
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 Search Index | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| update: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out repository code | |
| uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | |
| - name: Make sure we have node and dependencies | |
| run: npm i | |
| - name: Process and send index updates to Algolia | |
| env: | |
| ALGOLIA_KEY: ${{ secrets.ALGOLIA_KEY }} | |
| run: npm run generate-search-index |