chore: exclude index files from being committed

ietf-ribose · Jun 19, 2023 · f4f9eca · f4f9eca
1 parent 80178e5
commit f4f9eca
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/crawler.yml b/.github/workflows/crawler.yml
@@ -15,4 +15,6 @@ jobs:
     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
+        https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile.lock=Gemfile.lock
+      args: ${{ github.event.inputs.args }}
+      commit-indexes: false