Skip to content
Algolia Recrawl

fix: Optimize array ref counts to copy arrays much less often (#6685) #1771

Sign in to view logs

fix: Optimize array ref counts to copy arrays much less often (#6685)

fix: Optimize array ref counts to copy arrays much less often (#6685) #1771

Workflow file for this run

.github/workflows/recrawler.yml at 24cc19e
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/[email protected]
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