Status

Changes

Console Output

View Build Information

Polling Log

Git Build Data

Test Result

Coverage Report

Open Blue Ocean

Embeddable Build Status

Previous Build

Next Build

Passed

cz.cvut.kbss.ontodriver.owlapi.MainAxiomLoaderTest.skipsExplicitAssertionValueIfThereIsTheSameAssertionAlsoWithInference