solhop / rsat / 7104e45fe4eb06016f3ea7152df02537cadc6480
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 7104e45fe4eb06016f3ea7152df02537cadc6480 | master | cargo update | push | Prateek Kumar | github | pending completion | |
| 045730c5eb2d174f80185c61261f97fb3e87709f | master | Use error-chain crate for error handling in lib | push | Prateek Kumar | github | pending completion | |
| 3b3daab5fa7bb83f2d3b4d9de798c8dcf03984d6 | master | Panic when cdcl alg called with parallel flag | push | Prateek Kumar | github | pending completion | |
| fdd7a0fadd65217cb1ef7751b0a9f0e5dfb0dd9d | master | Add random scoring function to sls | push | Prateek Kumar | github | pending completion | |
| 3cb38e491a1c23ff12a8c531ccbbb2a8c4ef21eb | master | Add coverage badge, add grcov config | push | Prateek Kumar | github | pending completion | |
| 9dfa06ed468a60774526db1af5657dc9062a87df | master | Add coverage generation in GitHub Actions | push | Prateek Kumar | github | pending completion |