Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1566654545 | clingo-5.5.x | <a href="https://github.com/NEKERAFA/clingo-cs/commit/4980f60a7">Merge </a><a class="double-link" href="https://github.com/NEKERAFA/clingo-cs/commit/96d0a8d15">96d0a8d15</a><a href="htt... | Pull #16 | GitHub | github | pending completion set done | |
1566648934 | clingo-5.5.x | Merge cc7ff75b6 into 61a346d94 | Pull #16 | GitHub | github | pending completion set done |