Develop documentation build

Bump version to 4.0.1 (#872) #218

Sign in to view logs

Summary
Jobs
- coverage
- docs
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage	5h 3m 1s
docs	1h 57m 23s
	7h 0m 24s