Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1224448239 | update-dependencies | Reflect renamed GitHub project everywhere | push | vemv | github | pending completion set done | |
1223940147 | throw-instead-of-exit | Merge b734bb20e into 1166450bd | Pull #92 | GitHub | github | pending completion set done | |
1223940114 | throw-instead-of-exit | Implement `:throw-if-check-unsuccessful?` option | push | vemv | github | pending completion set done | |
1223940147 | throw-instead-of-exit | Merge b734bb20e into 1166450bd | Pull #92 | GitHub | github | pending completion set done | |
1220540273 | update-dependencies | Merge 662b58d06 into 1166450bd | Pull #87 | GitHub | github | pending completion set done | |
1220540273 | update-dependencies | Merge 662b58d06 into 1166450bd | Pull #87 | GitHub | github | pending completion set done | |
1220540163 | update-dependencies | Reflect renamed GitHub project everywhere | push | vemv | github | pending completion set done |