CI

Merge pull request #133 from egraphs-good/upgrade-pyo3 #586

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy	1m 28s
test 3.12	2m 37s
docs	2m 15s
benchmark	9m 32s
test 3.11	2m 35s
test 3.10	2m 36s
build windows	5m 14s
build linux	3m 33s
build macos	16m 44s
Release	0s
	46m 34s