Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1315609737 | master | Merge pull request #24 from javierguerragiraldez/unused-hint | push | GitHub | github | pending completion set done | |
1315549738 | ci-overhaul | Update badges to report on GH Actions workflows | push | Caleb Maclennan | github | pending completion set done | |
1315531668 | ci-overhaul | Add extra libraries to CI env used in some unit tests | push | Caleb Maclennan | github | pending completion set done |