chore: add back algolia recrawler (#3332)

Co-authored-by: José Pedro Sousa <github@zepedro.me>
noir-lang · Oct 29, 2023 · 153cb83 · 153cb83
1 parent 778e620
commit 153cb83
Showing 1 changed file with 21 additions and 21 deletions.
diff --git a/.github/workflows/recrawler.yml b/.github/workflows/recrawler.yml
@@ -1,22 +1,22 @@
-# name: Algolia Recrawl
-# on:
-#   push:
-#     branches: [ master ]
-#   workflow_dispatch:
+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
+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