306809811

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
306809811	update-docs	Merge 3420151de into 5e3307063	Pull #20	14 Oct 2020 03:43PM UTC	GitHub	github	pending completion set done
302664256	master	Merge pull request #19 from Minhir/update-examples	push	12 Oct 2020 05:39PM UTC	GitHub	github	pending completion set done
302663399	update-examples	Merge 5233544b1 into 1156c4d3a	Pull #19	12 Oct 2020 05:38PM UTC	GitHub	github	pending completion set done
302645424	master	Merge pull request #17 from Minhir/update-test	push	12 Oct 2020 05:25PM UTC	GitHub	github	pending completion set done
302641894	master	Merge pull request #18 from Minhir/release-1.0.0	push	12 Oct 2020 05:23PM UTC	GitHub	github	pending completion set done
302640249	release-1.0.0	Merge 5b53cc02d into 1156c4d3a	Pull #18	12 Oct 2020 05:22PM UTC	GitHub	github	pending completion set done
302632505	master	Merge pull request #17 from Minhir/update-test	push	12 Oct 2020 05:16PM UTC	GitHub	github	pending completion set done
302626040	update-test	Merge e2c817dc2 into 74fc0c4f2	Pull #17	12 Oct 2020 05:13PM UTC	GitHub	github	pending completion set done
302622119	master	Merge pull request #16 from Minhir/update-docs	push	12 Oct 2020 05:10PM UTC	GitHub	github	pending completion set done
302619099	update-docs	Merge f5cb5d2b0 into 0b80c88fb	Pull #16	12 Oct 2020 05:08PM UTC	GitHub	github	pending completion set done
300858350	master	Merge pull request #15 from Minhir/add-example-of-usage	push	11 Oct 2020 06:57PM UTC	GitHub	github	pending completion set done
300857310	add-example-of-usage	Merge 5b336b818 into 32b5b8c4b	Pull #15	11 Oct 2020 06:55PM UTC	GitHub	github	pending completion set done
300842702	master	Merge pull request #14 from Minhir/add-example-of-usage	push	11 Oct 2020 06:39PM UTC	GitHub	github	pending completion set done
300839641	add-example-of-usage	Merge e725fb1d5 into 3ff52e7fc	Pull #14	11 Oct 2020 06:37PM UTC	GitHub	github	pending completion set done
300810048	master	Merge pull request #13 from Minhir/update-dev-deps	push	11 Oct 2020 06:11PM UTC	GitHub	github	pending completion set done