Pull Request

chore: update dependency to hugr 0.10.1 (#735) #1698

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Python (3.10)	3m 11s
Check Python (3.13) with coverage	3m 19s
	6m 30s