StoneCypher / is_a_ts / 1072428341

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1072428341	type-aliases	Merge a53874d99 into 0ed4232b7	Pull #37	27 Jul 2021 07:25PM UTC	GitHub	github	pending completion set done
1068826887	main	Remove ls debug stubs that were harming Windows users (sloppy). Add is_a/2 alias.	push	26 Jul 2021 08:28PM UTC	John Haugeland	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done
1068733800	type-alias-cleanup	Merge 5102aaca2 into ee0687689	Pull #36	26 Jul 2021 07:57PM UTC	GitHub	github	pending completion set done