chore: recrawl docs on merge (#3306)

noir-lang · Oct 26, 2023 · dbb6cf0 · dbb6cf0
1 parent cb81192
commit dbb6cf0
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/.github/workflows/recrawler.yml b/.github/workflows/recrawler.yml
@@ -0,0 +1,22 @@
+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