Develop documentation build

Bump version to 4.2.0 (#876) #222

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 5m 5s
docs	2h 0m 46s
	7h 5m 51s