knowsys / rulewerk / #442

Builds Branch Commit Type Ran Committer Via Coverage
#442 master unit tests for min cardinality support push irina-dragoste pending completion   set done
#441 a4fbfa26b4e4a91878306e2844a15ddf5a6a6460 Merge 8a3b5a13f into 499aa9436 push web-flow pending completion   set done
#440 0621af6119268ba7567c77a729acabefd846d71a Merge c96fa50a2 into 499aa9436 push web-flow pending completion   set done
#439 13c16499ecee00f3527b772445b3976e62e0ad65 Merge 3f6822346 into 499aa9436 push web-flow pending completion   set done
#438 53ba64631a2548a42961bceb663ae112dec746a9 <a href="https://github.com/knowsys/rulewerk/commit/53ba64631">&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 web-flow pending completion   set done
#437 acyclicity-add-RMFC comment out possibly incorrect acyclicity integration tests for constants in rules push irina-dragoste pending completion   set done
#436 acyclicity-add-RMFC add RMFA test cases push irina-dragoste pending completion   set done
#435 master Fix naming of integration tests push mmarx pending completion   set done
#434 master Fix exclusion of unit tests, really, really push mmarx pending completion   set done
#433 master Fix exclusion of unit tests, really push mmarx pending completion   set done
#432 master Fix exclusion of unit tests push mmarx pending completion   set done
#431 master Fix workflow badge push mmarx pending completion   set done
#430 master Exclude integration tests package from running unit tests push mmarx pending completion   set done
#429 master Bump VLog push mmarx pending completion   set done
#428 acyclicity-add-RMFC correct sha256 for VLOg push irina-dragoste pending completion   set done