Build and publish docs

chore: update dependency to hugr 0.10.2 (#743) #222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs.	4m 38s
Publish docs.	10s
create-issue	0s
	4m 48s