Build docs on PR merge

merged two cli pages into one (#2209) (#2210) #308

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
merge_job	17m 13s
	17m 13s