CI

Merge pull request #114 from egraphs-good/upgrade-deps1 #537

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmark	9m 32s
docs	2m 32s
mypy	2m 0s
test 3.12	2m 44s
test 3.11	2m 46s
test 3.10	2m 52s
build macos	10m 3s
build linux	3m 16s
build windows	4m 29s
Release	0s
	40m 14s