Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1068733800 | type-alias-cleanup | Merge 5102aaca2 into ee0687689 | Pull #36 | GitHub | github | pending completion set done | |
1068733800 | type-alias-cleanup | Merge 5102aaca2 into ee0687689 | Pull #36 | GitHub | github | pending completion set done | |
1065437960 | main | Clean was running after test, removing coverage after running it instead of before | push | John Haugeland | github | pending completion set done |