5eqn / proof-cat / 7685020290
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 7685020290 | auto-resize-input-2 | Merge 3923308d8 into de070c6b7 | Pull #26 |  web-flow |
github |
55.81 |
|
| 7683208321 | type-fix | Merge bd86936b3 into c4c5a5894 | Pull #25 | web-flow |
github |
55.81 |
|
| 7679094329 | test-ci | Merge 5de0a7bb7 into 9ff2e7d78 | Pull #24 | web-flow |
github |
55.98 |
|
| 7679083276 | test-ci | ci: add coverage | Pull #24 |  5eqn |
github |
55.98 |