Add a verified HashSet implementation + refactor package name of map + add script #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests	32s
tests	55s
fail_if_pull_request_is_draft	0s
fail_if_pull_request_is_draft	0s
	1m 27s