Skip to content

Crawler

Crawler #120

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* ]
pull_request:
schedule:
- cron: '0 14 * * *'
workflow_dispatch:
inputs:
args:
description: Extra args to pass to crawler.rb script
required: false
default: ''
jobs:
crawl:
uses: relaton/support/.github/workflows/crawler.yml@main
with:
args: ${{ github.event.inputs.args }}