newca12 / gapt / 46

Builds Branch Commit Type Ran Committer Via Coverage
46 wip Allow local publication push newca12 travis-ci pending completion   set done
45 broken-code-coverage Revert sbt-coverage version bump push newca12 travis-ci pending completion   set done
44 wip Test revert to sbt-scoverage 1.0.4 push newca12 travis-ci pending completion   set done
41 tape-test <a href="https://github.com/newca12/gapt/commit/a634b3264">&lt;a href=&quot;https://github.com/newca12/gapt/commit/</a><a class="double-link" href="https://github.com/newca12/gapt/commit/&lt;a class=&quot;double-link... push newca12 travis-ci pending completion   set done
40 wip Allow local publication push newca12 travis-ci pending completion   set done
39 wip Remove some warnings push newca12 travis-ci pending completion   set done
38 ivytorobinson IvyToRobinsonTest cleanup push newca12 travis-ci pending completion   set done
37 ivytorobinson IvyToRobinsonTest cleanup push newca12 travis-ci pending completion   set done
36 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion   set done
34 master Revert back to specs2 2.4.17 since the junitxml reporter doesn't seem to work with 3.0. push gebner travis-ci pending completion   set done
35 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion   set done
33 sat4j Add Sat4j fallback to minisat push newca12 travis-ci pending completion   set done
32 scalariform-tests Code reformatting push newca12 travis-ci pending completion   set done
31 master adding today's protocol push shetzl travis-ci pending completion   set done
30 scalariform-tests Format also test files The task scalariformFormat don't format test files. The task test:scalariformFormat need to be used to format test files. push newca12 travis-ci pending completion   set done