ci

Merge pull request #14 from ten3roberts/remove-removed #114

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage	3m 24s
lint_doc	47s
test	1m 46s
test_doc	1m 27s
test_nostd	1m 17s
test_miri	13m 2s
	21m 43s