`TotalOrder` trait for floating point numbers #168

Sign in to view logs

Triggered via pull request October 27, 2023 19:04

cuviper

synchronize #295

andrewjradcliffe:ajr/float-totalOrder

Status Success

Total duration 9m 27s

Artifacts –

pr.yaml

on: pull_request

Matrix: Test