Merge pull request #41 from waywardmonkeys/remove-travis-and-deploy-docs #30

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	17s
clippy	40s
build	14s
fmt	9s
Miri	43s
	2m 3s