ci

Ensure correctness of auto merging change list #102

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint_doc	51s
coverage	3m 23s
test_doc	1m 22s
test	2m 8s
test_miri	13m 28s
test_nostd	1m 28s
	22m 40s