search

ease-crc / soma

The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate motions that cause intentional effects in the physical and social world.
GNU Lesser General Public License v3.0
16 stars 22 forks source link

CI is broken #287

Open mrnolte opened 1 year ago

mrnolte commented 1 year ago

Currently, the CI is broken. E.g., in the PR #286, two classes are a subclass to owl:Nothing. However, HermiT (in the CI) does not seem to complain.

ayden175 commented 1 year ago

Is there still a problem with the CI?