Build (& deploy) Docs

Bump codecov/codecov-action from 3 to 4 (#113) #455

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs-make (html)	3m 7s
docs-make (doctest)	5m 24s
docs-make (linkcheck)	2m 43s
deploy-docs	36s
	11m 50s