diff --git a/.github/workflows/crawler.yml b/.github/workflows/crawler.yml index 6f83e86c499..0e629e24954 100644 --- 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 \ No newline at end of file