newca12 / gapt / 29

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
29	fix-vampire	Fix interface to Vampire prover Binary name for each OS is now automatically detected Nota: the binary for OSX is vampire_mac to match upstream vampires.tgz content	push	28 Feb 2015 11:23PM UTC	newca12	travis-ci	pending completion   set done
28	fix-vampire	Fix interface to Vampire prover Binary name for each OS is now automatically detected Nota: the binary for OSX is vampire_mac to match upstream vampires.tgz content blah	push	28 Feb 2015 11:21PM UTC	newca12	travis-ci	pending completion   set done
27	fix-vampire	Fix interface to Vampire prover Binary name for each OS is now automatically detected Nota: the binary for OSX is vampire_mac to match upstream vampires.tgz content	push	28 Feb 2015 10:53PM UTC	newca12	travis-ci	pending completion   set done
26	code-coverage	Change badges	push	27 Feb 2015 11:05PM UTC	newca12	travis-ci	pending completion   set done
25	master	Attempt to fix code-coverage with a real token	push	27 Feb 2015 10:42PM UTC	newca12	travis-ci	pending completion   set done
23	fix-code-coverage	Attempt to fix code-coverage with a real token	push	26 Feb 2015 03:33PM UTC	newca12	travis-ci	pending completion   set done
22	fix-code-coverage	Try with true exported token	push	26 Feb 2015 03:04PM UTC	newca12	travis-ci	pending completion   set done
20	fix-code-coverage	Try without token	push	26 Feb 2015 02:05PM UTC	newca12	travis-ci	pending completion   set done
15	master	Configuration for Travis CI and Coveralls	push	25 Feb 2015 09:55PM UTC	newca12	travis-ci	pending completion   set done
11	code-coverage	Add OSX stuff to .gitignore	push	07 Feb 2015 10:46PM UTC	newca12	travis-ci	pending completion   set done
9	code-coverage	Fix Coveralls badge	push	07 Feb 2015 10:25PM UTC	newca12	travis-ci	pending completion   set done
#1	code-coverage	Try test without fork (resolutionSchemaParserTest removed)	push	07 Feb 2015 10:21AM UTC	newca12		pending completion   set done

• ← Previous
• 1
• 2
• Next →