chore: comment out algolia recrawler workflow as its failing master (#…

…3331)
noir-lang · Oct 28, 2023 · 778e620 · 778e620
1 parent 47f6699
commit 778e620
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