Rudolph-Miller / jonathan / #108

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#108	master	use sbcl-bin.,	push	21 Aug 2015 12:55AM UTC	Rudolph-Miller	circleci	pending completion   set done
#107	master	use sbcl-bin.,	push	20 Aug 2015 10:31PM UTC	Rudolph-Miller	circleci	pending completion   set done
#106	master	fix #26. (close #26)	push	18 Aug 2015 03:01PM UTC	Rudolph-Miller	circleci	pending completion   set done
#105	master	use the latest version of access.	push	18 Aug 2015 10:46AM UTC	Rudolph-Miller	circleci	pending completion   set done
#104	master	option of run-annot-prove has changed.	push	18 Aug 2015 10:26AM UTC	Rudolph-Miller	circleci	pending completion   set done
#103	master	option of run-annot-prove has changed.	push	18 Aug 2015 06:59AM UTC	Rudolph-Miller	circleci	pending completion   set done
#102	master	option of run-annot-prove has changed.	push	09 Aug 2015 12:27AM UTC	Rudolph-Miller	circleci	pending completion   set done
#101	master	duplicates of cloning cl-annot-prove.	push	07 Aug 2015 10:14PM UTC	Rudolph-Miller	circleci	pending completion   set done
#100	master	exclude.	push	07 Aug 2015 03:32AM UTC	Rudolph-Miller	circleci	pending completion   set done
#99	master	exclude.	push	07 Aug 2015 02:25AM UTC	Rudolph-Miller	circleci	pending completion   set done
#98	master	set REPO_TOKEN.	push	07 Aug 2015 01:53AM UTC	Rudolph-Miller	circleci	pending completion   set done
97	master	add documents.	push	18 Jun 2015 08:32AM UTC	Rudolph-Miller	travis-ci	pending completion   set done
96	master	Merge branch 'master' of https://github.com/Rudolph-Miller/jonathan	push	17 Jun 2015 08:34AM UTC	Rudolph-Miller	travis-ci	pending completion   set done
95	master	Merge branch 'master' of http://github.com/rudolph-miller/jonathan	push	27 May 2015 02:04AM UTC	Rudolph-Miller	travis-ci	pending completion   set done
94	master	Update README.md	push	14 May 2015 04:31AM UTC	Rudolph-Miller	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• Next →