Skip to content

Merge branch '1.0.0-rc1' into 'master' #1237

Merge branch '1.0.0-rc1' into 'master'

Merge branch '1.0.0-rc1' into 'master' #1237

Workflow file for this run

name: Check conventions
on: [push]
jobs:
build:
runs-on: ubuntu-18.04
strategy:
max-parallel: 1
matrix:
python-version: [3.11]
steps:
- uses: actions/checkout@v4
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install EMMOntoPy
run: |
pip install --upgrade pip
pip install EMMOntoPy
- name: Check EMMO
run: |
emmocheck --local --url-from-catalog --verbose --check-imported \
--configfile=.github/emmocheck_conf.yml emmo.ttl
- name: Check EMMO-full
run: |
emmocheck --local --url-from-catalog --verbose --check-imported \
--configfile=.github/emmocheck_conf.yml emmo-full.ttl