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

emmo-repo · Mar 22, 2024 · 9fa6f1a · 9fa6f1a
2 parents ce52403 + 940fa66
commit 9fa6f1a
Show file tree

Hide file tree

Showing 8 changed files with 1,079 additions and 995 deletions.
diff --git a/.github/workflows/update_pages.yml → .github/workflows/cd_update_pages.yml b/.github/workflows/update_pages.yml → .github/workflows/cd_update_pages.yml
diff --git a/.github/workflows/ci_emmocheck.yml b/.github/workflows/ci_emmocheck.yml
@@ -25,4 +25,5 @@ jobs:
 
     - name: Check EMMO
       run: |
-        emmocheck --local --url-from-catalog --verbose --check-imported --configfile=.github/emmocheck_conf.yml --skip=test_namespace --skip test_unit_dimension emmo.ttl
+        emmocheck --local --url-from-catalog --verbose --check-imported \
+          --configfile=.github/emmocheck_conf.yml  emmo.ttl
diff --git a/disciplines/materials.ttl b/disciplines/materials.ttl
diff --git a/mereocausality/mereocausality-full.ttl b/mereocausality/mereocausality-full.ttl
diff --git a/mereocausality/mereocausality.ttl b/mereocausality/mereocausality.ttl
diff --git a/mereocausality/mereocausality_extra.ttl b/mereocausality/mereocausality_extra.ttl