Back to pull request #118108

PartialOrd: transitivity and duality are required only if the corresponding impls exist #107236

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PR - mingw-check	19m 46s
PR - mingw-check-tidy	4m 8s
auto - ${{ matrix.name }}	0s
master	0s
try - ${{ matrix.name }}	0s
PR - x86_64-gnu-llvm-15	37m 12s
PR - x86_64-gnu-tools	31m 25s
bors build finished	0s
bors build finished	0s
bors build finished	0s
bors build finished	0s
	1h 32m 31s