Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1277156669 | main | Merge pull request #1 from ghhenry/main | push | GitHub | github | pending completion set done | |
1274743751 | main | Merge 59fc7a089 into ffcdb292b | Pull #1 | GitHub | github | pending completion set done | |
466615514 | main | Fix some linter issues | push | Christopher Hlubek | github | pending completion set done | |
466607314 | main | Do not report coverage on benchmark | push | Christopher Hlubek | github | pending completion set done | |
466594780 | main | Add GitHub actions | push | Christopher Hlubek | github | pending completion set done |