knowsys / rulewerk / #427

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#427	acyclicity-add-RMFC	acyclicity tests - added not RMFA nor RMFC test - correct tests for constants	push	17 Nov 2021 09:25PM UTC	irina-dragoste		pending completion   set done
#426	acyclicity-add-RMFC	correct sha256	push	17 Nov 2021 05:01PM UTC	irina-dragoste		pending completion   set done
#425	acyclicity-add-RMFC	fix RMSA integration tests	push	12 Nov 2021 07:24PM UTC	irina-dragoste		pending completion   set done
#424	acyclicity-add-RMFC	correct sha256 for VLog	push	12 Nov 2021 07:02PM UTC	irina-dragoste		pending completion   set done
#423	acyclicity-add-RMFC	fix wrong RMFA example	push	12 Nov 2021 06:41PM UTC	irina-dragoste		pending completion   set done
#422	acyclicity-add-RMFC	change integration test names to corect naming convention (IT instead of Test)	push	03 Nov 2021 10:42AM UTC	irina-dragoste		pending completion   set done
#421	master	update CI VLog dependency to latest commit hash	push	02 Nov 2021 09:02PM UTC	irina-dragoste		pending completion   set done
#420	master	Bump rulewerk-dependencies	push	01 Oct 2021 02:02PM UTC	mmarx		pending completion   set done
#419	master	Update RELEASE-NOTES.md update with bugfix for DisjointClasses and DisjointObjectProperties axioms (#209)	push	27 Sep 2021 04:58PM UTC	web-flow		pending completion   set done
#418	master	Use debug builds for running the tests	push	24 Sep 2021 08:35PM UTC	mmarx		pending completion   set done
#417	master	Merge pull request #212 from knowsys/#122-owlapi_OWLDisjointObjectPropertiesAxiom_support #122 owlapi owl disjoint object properties axiom support	push	24 Sep 2021 11:19AM UTC	web-flow		pending completion   set done
#416	master	Merge pull request #212 from knowsys/#122-owlapi_OWLDisjointObjectPropertiesAxiom_support #122 owlapi owl disjoint object properties axiom support	push	22 Sep 2021 03:35PM UTC	web-flow		pending completion   set done
#415	#122-owlapi_OWLDisjointObjectPropertiesAxiom_support	Merge remote-tracking branch 'origin/master' into #122-owlapi_OWLDisjointObjectPropertiesAxiom_support	push	22 Sep 2021 03:32PM UTC	irina-dragoste		pending completion   set done
#414	9f656bd67dd04079cfc3300b4716e8888ce712f7	Merge 139233319 into e42785738	push	22 Sep 2021 03:32PM UTC	web-flow		pending completion   set done
#413	6d33ae6676e34ecf30aa55732b38f771ada9a653	Merge 4972495e9 into e42785738	push	22 Sep 2021 01:45PM UTC	web-flow		pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 32
• 33
• Next →