SMTorg / smt / 4136587148

Builds Branch Commit Type Ran Committer Via Coverage
4136587148 master update SMT tutorial with integer GP (#407) push GitHub github pending completion   set done
4136584297 master Merge a312ea82f into 10d1f25f9 Pull #407 GitHub github pending completion   set done
4134938059 master Merge 85d1a6680 into 10d1f25f9 Pull #407 GitHub github pending completion   set done
4069796676 hv_for_PR Merge 1e406beaa into 10d1f25f9 Pull #406 GitHub github pending completion   set done
4068879561 hv_for_PR Merge 2096bad6c into 10d1f25f9 Pull #406 GitHub github pending completion   set done
4055751176 master Refactor XSpecs for stronger typing (#400) push GitHub github pending completion   set done
4055299152 refactor-xspecs Merge 8432cea0b into 481b3500b Pull #400 GitHub github pending completion   set done
4052366164 master Fix allowed experts checking (#403) push GitHub github pending completion   set done
4051885935 fix-bad-allow Merge 7a98c7012 into d4481b694 Pull #403 GitHub github pending completion   set done
3970732543 refactor-xspecs Merge 9d619970c into d4481b694 Pull #400 GitHub github pending completion   set done
3969375592 refactor-xspecs Merge b00c78c10 into d4481b694 Pull #400 GitHub github pending completion   set done
3969351893 master SMT logo (#402) push GitHub github pending completion   set done
3968952521 smt-logo Merge cf62a64af into da0ebd3aa Pull #402 GitHub github pending completion   set done
3968711154 master Skip expensive tests by default (#401) push GitHub github pending completion   set done
3968576817 expensive-tests Merge d4e69782f into ec3e13f84 Pull #401 GitHub github pending completion   set done