search

dgarijo / Widoco

Wizard for documenting ontologies. WIDOCO is a step by step generator of HTML templates with the documentation of your ontology. It uses the LODE environment to create part of the template.
Apache License 2.0
295 stars 89 forks source link

Run widoco with unprivileged user in container #669

Closed janvlug closed 10 months ago

janvlug commented 10 months ago
dgarijo commented 10 months ago

For some reason this does not pass all the tests. I do not understand, since it does not modify the code at all...

vChavezB commented 10 months ago

The error occured with the testOntologyFromURL. Perhaps an anomaly happened while retrieving the ontology from the url. Maybe just run the pipeline again?

janvlug commented 10 months ago

I'm also surprised by the failing tests. Maybe indeed an anomaly when retrieving the URL. Locally the tests run successfully for me. Is there a way to trigger the tests on GitHub again? Or should I close this Pull request and try to create a new one, and see if the test will succeed then?

vChavezB commented 10 months ago

You could force trigger the pipeline by adding an ammended commit.

git commit --amend

do not change the commit message and then

git push origin --force

Not the nicest way but this way you can retrigger the github actions by making github detect the "new" commit.

dgarijo commented 10 months ago

No need to close the PR. I think it's just fine because the code was not changed. Merging

dgarijo commented 10 months ago

Just next time please do PRs into develop. Thanks!