Allows NaturalOrdering for Comparable type hierarchies #233

Sign in to view logs

Re-run triggered December 2, 2023 04:16

elucash

#1496

wjglerum:natural-ordering-comparable-hierarchy

Status Success

Total duration 3m 51s

Artifacts –

ci.yml

on: pull_request

Matrix: build