Back to pull request #3026

[python] One more rename in prep for domainish pushdown #4987

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (macos-12, 3.11) / lint	1m 23s
build (macos-12, 3.8) / lint	0s
build (macos-12, 3.11) / build	23m 40s
build (macos-12, 3.8) / build	19m 11s
build (ubuntu-22.04, 3.11) / build	13m 40s
build (ubuntu-22.04, 3.11) / lint	55s
build (ubuntu-22.04, 3.8) / build	14m 41s
build (ubuntu-22.04, 3.8) / lint	0s
	1h 13m 30s