Notify the listener when a clause is inferred after a saturation
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | maven38-java11 |
#65655
|
00:24:20
|
|
|||||
| Test | |||||||||
| passed | maven38-java16 |
#65656
|
00:19:58
|
|
|||||
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | maven38-java11 |
#65655
|
00:24:20
|
|
|||||
| Test | |||||||||
| passed | maven38-java16 |
#65656
|
00:19:58
|
|
|||||