moonad / Forall-Server / #16

Builds	Branch	Commit	Type	Ran	Via	Coverage
#16	master	[no commit message]	push	06 Dec 2019 02:24PM UTC	cirrus	pending completion
#15	master	[no commit message]	push	06 Dec 2019 02:00PM UTC	cirrus	pending completion
#14	master	[no commit message]	push	06 Dec 2019 01:38PM UTC	cirrus	pending completion
#13	master	[no commit message]	push	06 Dec 2019 11:44AM UTC	cirrus	pending completion
#12	master	[no commit message]	push	30 Nov 2019 06:51AM UTC	cirrus	pending completion
#11	master	[no commit message]	push	27 Nov 2019 02:24AM UTC	cirrus	pending completion
#10	master	[no commit message]	push	26 Nov 2019 11:24PM UTC	cirrus	pending completion
#9	master	[no commit message]	push	26 Nov 2019 07:46PM UTC	cirrus	pending completion
#8	master	[no commit message]	push	26 Nov 2019 12:43AM UTC	cirrus	pending completion
#7	master	[no commit message]	push	25 Nov 2019 06:48PM UTC	cirrus	pending completion
#6	master	[no commit message]	push	24 Nov 2019 01:41AM UTC	cirrus	pending completion
#5	chore/use-coveralls	[no commit message]	push	23 Nov 2019 08:40PM UTC	cirrus	pending completion
#4	chore/use-coveralls	[no commit message]	push	23 Nov 2019 08:19PM UTC	cirrus	pending completion
#3	chore/use-coveralls	[no commit message]	push	23 Nov 2019 07:54PM UTC	cirrus	pending completion
#2	chore/use-coveralls	[no commit message]	push	23 Nov 2019 07:45PM UTC	cirrus	pending completion