Skip to content

Crawler

Crawler #1034

Workflow file for this run

# Auto-generated by Cimas: Do not edit it manually!
# See https://github.com/metanorma/cimas
name: Crawler
on:
push:
branches: [ master, main ]
tags: [ v* ]
schedule:
- cron: '0 14 * * *'
workflow_dispatch:
jobs:
crawl:
uses: relaton/support/.github/workflows/crawler.yml@master
with:
override-files: |
https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile=Gemfile
args: ${{ github.event.inputs.args }}
commit-indexes: false