Skip to content

feat: Implement where clauses on impls (#3324) #7

feat: Implement where clauses on impls (#3324)

feat: Implement where clauses on impls (#3324) #7

Workflow file for this run

name: Algolia Recrawl
on:
push:
branches: [ master ]
workflow_dispatch:
jobs:
algolia_recrawl:
name: Algolia Recrawl
runs-on: ubuntu-latest
steps:
- name: Algolia crawler creation and crawl
uses: algolia/algoliasearch-crawler-github-actions@v1.1.0
id: algolia_crawler
with:
crawler-user-id: ${{ secrets.CRAWLER_USER_ID }}
crawler-api-key: ${{ secrets.CRAWLER_API_KEY }}
algolia-app-id: ${{ secrets.ALGOLIA_APP_ID }}
algolia-api-key: ${{ secrets.ALGOLIA_API_KEY }}
site-url: 'https://noir-lang.org/'
crawler-name: noir-lang
override-config: false