247611950

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
247611950	master	Merge branch 'devel'	push	10 Sep 2020 07:13AM UTC	Hedzr Yeh	github	92.62
211413565	master	Merge branch 'devel'	push	17 Aug 2020 02:25AM UTC	Hedzr Yeh	github	92.62
210683008	master	Merge branch 'devel'	push	16 Aug 2020 09:35AM UTC	Hedzr Yeh	github	92.52
209711230	master	Merge branch 'devel'	push	15 Aug 2020 10:06AM UTC	Hedzr Yeh	github	92.45
209627882	master	added some doc entries	push	15 Aug 2020 08:05AM UTC	Hedzr Yeh	github	93.3
209605232	master	update docs	push	15 Aug 2020 07:25AM UTC	Hedzr Yeh	github	93.36
209532242	master	Merge branch 'devel'	push	15 Aug 2020 05:38AM UTC	Hedzr Yeh	github	93.31
208234448	master	Merge branch 'devel'	push	14 Aug 2020 07:32AM UTC	Hedzr Yeh	github	93.15
205067849	master	Merge branch 'devel': move some helpers to `tool` sub-package	push	12 Aug 2020 05:23AM UTC	Hedzr Yeh	github	93.21
186810974	master	Merge branch 'devel'	push	29 Jul 2020 07:50AM UTC	Hedzr Yeh	github	93.91
186657783	master	Merge branch 'devel'	push	29 Jul 2020 04:59AM UTC	Hedzr Yeh	github	94.03
183806685	master	Merge branch 'devel'	push	27 Jul 2020 05:24AM UTC	Hedzr Yeh	github	94.03
183763441	master	Merge branch 'devel'	push	27 Jul 2020 04:26AM UTC	Hedzr Yeh	github	94.01
180797162	master	Merge branch 'devel'	push	24 Jul 2020 06:09AM UTC	Hedzr Yeh	github	93.75
176404746	master	Merge branch 'devel'	push	21 Jul 2020 12:23AM UTC	Hedzr Yeh	github	93.89