Back to pull request #244

docs: Port text deleted in https://github.com/CQCL/hugr/pull/694 . #704

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	3m 28s
check	3m 28s
benches	2m 29s
benches	2m 29s
python bindings	2m 8s
python bindings	2m 8s
tests (Rust 1.70)	1m 39s
tests (Rust 1.70)	1m 5s
tests (Rust stable)	1m 54s
tests (Rust stable)	1m 13s
tests (Rust beta)	1m 27s
tests (Rust beta)	1m 27s
py-coverage	3m 5s
py-coverage	3m 5s
coverage	0s
coverage	1m 30s
	32m 35s