Skip to content

move classification, amend here from reqt and metanorma: https://git… #70

move classification, amend here from reqt and metanorma: https://git…

move classification, amend here from reqt and metanorma: https://git… #70

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