Skip to content

Merge branch '1.0.0-rc3' of github.com:emmo-repo/EMMO into 1.0.0-rc3 #1360

Merge branch '1.0.0-rc3' of github.com:emmo-repo/EMMO into 1.0.0-rc3

Merge branch '1.0.0-rc3' of github.com:emmo-repo/EMMO into 1.0.0-rc3 #1360

Workflow file for this run

name: Check conventions
on: [push]
jobs:
build:
runs-on: ubuntu-latest
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
pip install git+https://github.com/emmo-repo/EMMOntoPy.git@update-emmocheck2
- 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