• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

knowsys / rulewerk / 1407

Builds Branch Commit Type Ran Committer Via Coverage
1407 named-null-to-vlog Test bnode diversification across ontologies push 02 Mar 2020 10:26PM UTC mkroetzsch travis-ci pending completion   set done
1408 named-null-to-vlog Test bnode diversification across ontologies Pull #162 02 Mar 2020 10:26PM UTC web-flow travis-ci pending completion   set done
1403 named-null-to-vlog Test new cases push 02 Mar 2020 09:54PM UTC mkroetzsch travis-ci pending completion   set done
1404 named-null-to-vlog Test new cases Pull #162 02 Mar 2020 09:54PM UTC web-flow travis-ci pending completion   set done
1402 named-null-to-vlog Also use Skolemization for bnodes in OWL Pull #162 02 Mar 2020 09:28PM UTC web-flow travis-ci pending completion   set done
1401 named-null-to-vlog Also use Skolemization for bnodes in OWL push 02 Mar 2020 09:28PM UTC mkroetzsch travis-ci pending completion   set done
1400 named-null-to-vlog -unused import Pull #162 02 Mar 2020 09:08PM UTC web-flow travis-ci pending completion   set done
1399 named-null-to-vlog -unused import push 02 Mar 2020 09:06PM UTC mkroetzsch travis-ci pending completion   set done
1397 named-null-to-vlog Remove unused exception handling push 02 Mar 2020 09:05PM UTC mkroetzsch travis-ci pending completion   set done
1383 master Core: Change back to vlog-base push 02 Mar 2020 06:42PM UTC mmarx travis-ci pending completion   set done
1394 knowlegde-base-serialisation Core: Add serialisation for KnowledgeBase This still needs a few tests, but should resolve #161. Pull #165 02 Mar 2020 06:41PM UTC web-flow travis-ci pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc