576818620

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
576818620	main	Merge 8042eb247 into 3fe43cae2	Pull #22	18 Feb 2021 02:30AM UTC	GitHub	github	pending completion set done
576818620	main	Merge 8042eb247 into 3fe43cae2	Pull #22	18 Feb 2021 02:29AM UTC	GitHub	github	pending completion set done
576705593	main	:art: cleanup and squashed commit with various fixes (#21)	push	18 Feb 2021 01:33AM UTC	GitHub	github	pending completion set done
576705407	fixes	Merge 4157c8e58 into de3e1d4e0	Pull #21	18 Feb 2021 01:32AM UTC	GitHub	github	pending completion set done
573834903	main	:art: add badge	push	17 Feb 2021 05:20AM UTC	Sebastian	github	pending completion set done
573822857	main	:art: update benchmarks, tests, hash functions and workflows (#20)	push	17 Feb 2021 05:14AM UTC	GitHub	github	pending completion set done
567621093	main	:white_check_mark: run actions on pull_request	push	15 Feb 2021 06:18AM UTC	Sebastian	github	pending completion set done
567615591	main	:white_check_mark: run actions on pull_request	push	15 Feb 2021 06:16AM UTC	Sebastian	github	pending completion set done
567610405	test2	:white_check_mark: run actions on pull_request	push	15 Feb 2021 06:14AM UTC	Sebastian	github	pending completion set done
567583341	main	:white_check_mark: run actions on pull_request	push	15 Feb 2021 06:02AM UTC	Sebastian	github	pending completion set done