comby-tools / comby / 1199

Builds Branch Commit Type Ran Committer Via Coverage
1199 nested-new Merge a0f3d3785 into 4c7d6364a Pull #236 web-flow travis-ci-com pending completion   set done
1198 nested-new add nested rule test push rvantonder travis-ci-com pending completion   set done
1197 nested-new Merge 18a0a945d into 4c7d6364a Pull #236 web-flow travis-ci-com pending completion   set done
1196 nested-new trigger nested from rules push rvantonder travis-ci-com pending completion   set done
1195 nested-new Merge 60310b183 into 4c7d6364a Pull #236 web-flow travis-ci-com pending completion   set done
1194 nested-new add nested matching push rvantonder travis-ci-com pending completion   set done
1192 master add basic definitions for Coq, Zig, Solidity, Move (#235) push web-flow travis-ci-com pending completion   set done
1191 add-langs Merge 2154dbf29 into 340a83c6b Pull #235 web-flow travis-ci-com pending completion   set done
1189 add-langs recommend 4.11 compiler in README push rvantonder travis-ci-com pending completion   set done
1190 add-langs add basic definitions for Coq, Zig, Solidity, Move push rvantonder travis-ci-com pending completion   set done
1188 master recommend 4.11 compiler in README push rvantonder travis-ci-com pending completion   set done
1187 master upgrade to 4.11 (#234) push web-flow travis-ci-com pending completion   set done
1186 upgrade-4.11 <a href="https://github.com/comby-tools/comby/commit/05f6e5583">&lt;a href=&quot;https://github.com/comby-tools/comby/commit/</a><a class="double-link" href="https://github.com/comby-tools/comby/commit/&lt;a class=&q... Pull #234 web-flow travis-ci-com pending completion   set done
1185 upgrade-4.11 upgrade to 4.11 push rvantonder travis-ci-com pending completion   set done
1183 master constrain toml version push web-flow travis-ci-com pending completion   set done