Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
15512052304 | test-color | Merge df7fa59b7 into e1289acb4 | Pull #524 | github |
49.26 |
||
15509320898 | flint-cleanup | Merge b98d74eba into e1289acb4 | Pull #644 | github |
50.38 |
||
15493605840 | flint-cleanup | Merge 9c26d24e9 into e1289acb4 | Pull #644 | github |
50.39 |
||
15464513863 | backtrace | Merge 638f853d7 into e1289acb4 | Pull #526 | github |
49.26 |