Add github action carrying out a consistency check #114
Conversation
|
@florenceclavaud This PR adds a 'github action' which will trigger whenever a branch is pushed or a pull request made, and will check the consistency of the ontology (and before that, check that it parses!). You can see below under 'All checks failed' that the consistency check failed in this case, as it should do. Once we fix the consistency of the ontology, it should pass (there will also be a little green/red/orange dot on the master branch once this PR is merged, which should become green when the ontology is consistent). Clicking on 'Details' (or clicking on the dot once the PR is merged/looking at the 'Actions' tab) and looking at the output, you should see a message about the ontology being inconsistent. I have not attempted to configure it to provide any explanation about why there is an inconsistency, as I think it is enough here just to know that it is inconsistent; figuring out why can be done elsewhere. If we wish in the future, it is also possible to configure github to e.g. prevent merging a PR into master if the consistency check triggered by the PR fails. |
|
This is a good idea; at least it will prevent us from forgetting to run Pellet or HermiT reasoners using Protégé or the command line when preparing a new version and release (which happened to me last time...). |
|
Done now :-)! |
There was a problem hiding this comment.
That's fine, and I think this PR can be merged into the master branch directly :-). This will produce a 'check fail' about the master branch, which will remain there till I have completed the next-version and merged into the master. But it does not matter after all
No description provided.