feat(p022): port the obligation-protocol analysis and wire it through the bridge (#259 cp4b) #1857
| Job | Run time |
|---|---|
| 8s | |
| 33s | |
| 33s | |
| 17s | |
| 6s | |
| 41s | |
| 37s | |
| 7s | |
| 58s | |
| 1m 37s | |
| 15s | |
| 56s | |
| 30s | |
| 36s | |
| 1m 19s | |
| 6m 32s | |
| 5m 46s | |
| 42s | |
| 11s | |
| 22m 24s |
| Job | Run time |
|---|---|
| 8s | |
| 33s | |
| 33s | |
| 17s | |
| 6s | |
| 41s | |
| 37s | |
| 7s | |
| 58s | |
| 1m 37s | |
| 15s | |
| 56s | |
| 30s | |
| 36s | |
| 1m 19s | |
| 6m 32s | |
| 5m 46s | |
| 42s | |
| 11s | |
| 22m 24s |