• 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
  • Tree
  • List 147
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc