Passed
Push — main ( f09b9b...72e52a )
by Igor
01:06 queued 12s
created
9.86
▶   ± 0
Test Coverage
95%
▶ ±0%
Head
Igor Lazarev  
Merge pull request #28 from muonsoft/basic_constraints
7 more commits
Base
Rushan  
Merge pull request #31 from muonsoft/comparison-constraint