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

knowsys / rulewerk
87%

Build:
DEFAULT BRANCH: master
Repo Added 02 Mar 2020 06:36PM UTC
Files 147
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • #121-owlapi_Support_OWLDisjointClassesAxioms
  • #122-owlapi_OWLDisjointObjectPropertiesAxiom_support
  • 0621af6119268ba7567c77a729acabefd846d71a
  • 13c16499ecee00f3527b772445b3976e62e0ad65
  • 19c67665145a683be1138f98b49048427735669b
  • 2f9395327df772cff6debdf211edc0270320832e
  • 53ba64631a2548a42961bceb663ae112dec746a9
  • 588125648017aeca882ed1f2dc5f9ad76c354cba
  • 5d181d71b922cf3d6c7e1486a8009a49181ce4fe
  • 6ba1df21d0f2375a238e893a006361f378e3cbe5
  • 6d33ae6676e34ecf30aa55732b38f771ada9a653
  • 7cd6d7754e29d66c22e3bbbc263722d1239bb692
  • 836142c0979bb8e9d33450adf405dd0ca22a0b1d
  • 8622a0d6b04ea1255e88393a8cac6a8a0d7d56c6
  • 98ecfe1c5d7bc88698843c6fbdadd922a1af579c
  • 9f656bd67dd04079cfc3300b4716e8888ce712f7
  • a4fbfa26b4e4a91878306e2844a15ddf5a6a6460
  • a5ef2018f26009b6263b9e7b4be00b760b3b46df
  • a979baf8b792e882898ed671dbe3581830f32579
  • actions
  • acyclicity-add-RMFC
  • acyclicity-tests
  • bc68bb565cde061478a3ede72c2d4e109843397f
  • bug-206
  • d2306c4acbb766bd849271b3f4d2b1a72687db41
  • d24f3c4b74b9051fc231cd473d70e4cbe33f47f1
  • d5faecd12201bc5255053ace43577153f2810e3e
  • dc57d6ba61d64d80df9299ba2929c9467d03cd69
  • dependabot/maven/junit-junit-4.13.1
  • e5fb4ef8f9d3d48ef405cd3b4b8632a369d1c96c
  • f167976853ab97c5446a2490fa3e37098555df5c
  • f1f991c633edb1a617003b0a01a1a22adfbcb221
  • f682659780d2eb54f5d30995ca4e4a69cfde56c0
  • fast-query-result-iterator
  • fix-javadoc-search
  • issues
  • knowlegde-base-serialisation
  • master
  • modular-reasoners
  • named-null-to-vlog
  • owlapi-ignore-data-features
  • pieces
  • portable-filedatasource-serialisation
  • reliances
  • rework-ci
  • shell
  • storeRulesInArrays
  • v0.6.0
  • v0.7.0

12 Jun 2024 03:04PM UTC coverage: 87.359%. Remained the same
#487

push

mmarx
Bump actions

3248 of 3718 relevant lines covered (87.36%)

0.87 hits per line

Relevant lines Covered
Build:
Build:
3718 RELEVANT LINES 3248 COVERED LINES
0.87 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#487 master Bump actions push 12 Jun 2024 03:10PM UTC mmarx
87.36
#486 master Expose an overlay with mvn2nix present push 12 Jun 2024 02:50PM UTC mmarx
87.36
#485 master Update mvn2nix-lock.json push 12 Jun 2024 02:39PM UTC mmarx
87.36
#484 master Fix a typo push 11 Jul 2023 05:28PM UTC mmarx pending completion  
#483 98ecfe1c5d7bc88698843c6fbdadd922a1af579c <a href="https://github.com/knowsys/rulewerk/commit/98ecfe1c5">Merge </a><a class="double-link" href="https://github.com/knowsys/rulewerk/commit/66b066a0c">66b066a0c</a><a href="https:/... push 23 Feb 2023 01:39PM UTC web-flow pending completion  
#482 e5fb4ef8f9d3d48ef405cd3b4b8632a369d1c96c <a href="https://github.com/knowsys/rulewerk/commit/e5fb4ef8f">&lt;a href=&quot;https://github.com/knowsys/rulewerk/commit/</a><a class="double-link" href="https://github.com/knowsys/rulewerk/commit/&lt;a class=&quot... push 07 Feb 2023 04:24PM UTC web-flow pending completion  
#481 master added working RMFA unit test push 03 Feb 2023 05:32PM UTC irina-dragoste pending completion  
#480 master added working RJA integration tests push 03 Feb 2023 05:29PM UTC irina-dragoste pending completion  
#479 master update pubScmUrl to incorporate github personal access token push 23 Jan 2023 04:00PM UTC irina-dragoste pending completion  
#478 master update maven scm publish plugin push 23 Jan 2023 03:24PM UTC irina-dragoste pending completion  
See All Builds (491)
  • Repo on GitHub
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

© 2026 Coveralls, Inc