Bump Version

Merge pull request #413 from egraphs-good/copilot/update-rtd-build-image #485

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
bump	0s
build linux (ppc64)	8m 27s
build linux (aarch64)	8m 24s
build windows	8m 39s
build linux	6m 51s
build macos	9m 15s
Release	0s
tag-and-merge	0s
	41m 36s