chore: update crawler (#11)

ietf-tools · Jun 24, 2023 · 21b58e4 · 21b58e4
1 parent 0e01bea
commit 21b58e4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/crawler.yml b/.github/workflows/crawler.yml
@@ -13,3 +13,9 @@ on:
 jobs:
   crawl:
     uses: relaton/support/.github/workflows/crawler.yml@master
+    with:
+      override-files: |
+        https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile=Gemfile
+        https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile.lock=Gemfile.lock
+      args: ${{ github.event.inputs.args }}
+      commit-indexes: false