Skip to content

letter-symbol type: https://github.com/metanorma/metanorma-standoc/is… #295

letter-symbol type: https://github.com/metanorma/metanorma-standoc/is…

letter-symbol type: https://github.com/metanorma/metanorma-standoc/is… #295

Workflow file for this run

# Auto-generated by Cimas: Do not edit it manually!
# See https://github.com/metanorma/cimas
name: make
on:
push:
branches: [ master, main ]
tags: [ v* ]
pull_request:
jobs:
make:
uses: metanorma/ci/.github/workflows/model-make.yml@main