Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tightening QC on ENVO CI #1300

Merged
merged 2 commits into from
Mar 24, 2022
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions src/envo/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,6 @@
# Also used for unit tests executed by travis
#
# See README-editors.md for more details on release process
#
# To make a release, type 'make release' in this directory

# ----------------------------------------
Expand Down Expand Up @@ -55,7 +54,7 @@ FORMATS_INCL_TSV = $(sort $(FORMATS) tsv)
all: all_imports all_main all_subsets sparql_test all_reports all_assets validate-dl-profile

test: envo-edit.owl all_modules all_imports envo.owl all_reports
travis_test: test_python envo-edit.owl all_reports all_modules envo.owl
travis_test: test_python envo-edit.owl all_reports all_modules envo.owl validate-dl-profile

full_test: test envo.check-obo subsets/EnvO-Lite-GSC.check-obo

Expand Down Expand Up @@ -167,7 +166,7 @@ $(ONT)-base.owl: $(SRC) $(OTHER_SRC)
# Full: The full artefacts with imports merged, reasoned
$(ONT)-full.owl: $(SRC) $(OTHER_SRC)
$(ROBOT) merge --input $< \
reason --reasoner ELK --equivalent-classes-allowed all --exclude-tautologies structural \
reason --reasoner ELK --equivalent-classes-allowed asserted-only --exclude-tautologies structural \
relax \
reduce -r ELK \
annotate --ontology-iri $(ONTBASE)/$@ --version-iri $(ONTBASE)/releases/$(TODAY)/$@ -a owl:versionInfo $(TODAY)\
Expand Down