`TotalOrder` trait for floating point numbers #167

Sign in to view logs

Triggered via pull request October 26, 2023 18:12

cuviper

synchronize #295

andrewjradcliffe:ajr/float-totalOrder

Status Success

Total duration 8m 12s

Artifacts –

pr.yaml

on: pull_request

Matrix: Test