formalsec / whilloc / 50
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 50 | main | Promote test Mostly changes due to expression simplification | push |  filipeom |
github |
47.65 |
|
| 49 | HEAD | Merge c2bda7bf3 into 6085851f4 | push |  web-flow |
github |
47.65 |
|
| 48 | main | fix tests (closes #20) | push |  julianayang777 |
github |
47.72 |
|
| 47 | HEAD | Merge 16e327678 into c7c808d32 | push | web-flow |
github |
47.72 |
|
| 46 | main | Adds `bisect_ppx` instrumentation to measure tests code coverage | push | filipeom |
github |
47.52 |
|
| 44 | HEAD | Merge 91406c93d into 048f6a628 | push | web-flow |
github |
47.52 |
|
| 43 | HEAD | Merge adbd72f40 into 048f6a628 | push | web-flow |
github |
47.52 |