Build docs on PR merge

update anatomy auction snippets+ fix auction commands (#2254) #344

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	16m 58s
	16m 58s