mbarbin / provider / 17
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 17 | same-witness | Merge 5c4d51669 into ef44da32d | Pull #1 |  web-flow |
github |
98.83 |
|
| 16 | same-witness | Wip | push |  mbarbin |
github |
98.83 |
|
| 14 | same-witness | Wip | push | mbarbin |
github |
98.83 |
|
| 13 | main | Tweak | push | mbarbin |
github |
100.0 |
|
| 12 | main | Handle unvisitable bisect_ppx coverage point | push | mbarbin |
github |
100.0 |
|
| 11 | main | Fmt | push | mbarbin |
github |
98.4 |
|
| 9 | main | Prepare changelog | push | mbarbin |
github |
98.4 |
|
| 10 | HEAD | Prepare changelog | push | mbarbin |
github |
98.4 |
|
| 8 | main | Simplify | push | mbarbin |
github |
98.37 |
|
| 7 | HEAD | Update opam file | push | mbarbin |
github |
98.37 |
|
| 6 | main | Update opam file | push | mbarbin |
github |
98.37 |
|
| 5 | main | Lint | push | mbarbin |
github |
98.37 |
|
| 4 | main | Prepare changelog | push | mbarbin |
github |
98.37 |
|
| 3 | main | Update README | push | mbarbin |
github |
98.37 |