• 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: master
CHANGE BRANCH
x
Reset
  • master
  • #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
  • 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  
#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  
#477 master formatted pom.xml push 23 Jan 2023 02:10PM UTC irina-dragoste pending completion  
#476 master Don't hardcode the version number in the nix package push 07 Jan 2023 10:26PM UTC mmarx 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