Skip to content

Fix clippy, remove partial ord from babybear (#591) #188

Fix clippy, remove partial ord from babybear (#591)

Fix clippy, remove partial ord from babybear (#591) #188

Triggered via push October 5, 2023 20:46
Status Success
Total duration 27m 16s
Artifacts
Criterion benches (Ubuntu)
27m 7s
Criterion benches (Ubuntu)
Criterion benches (macOS, Apple sillicon)
5m 47s
Criterion benches (macOS, Apple sillicon)
Fit to window
Zoom out
Zoom in