Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push October 5, 2023 20:46
@github-merge-queuegithub-merge-queue[bot]
pushed bea1b8d
main
Status Success
Total duration 10m 25s
Artifacts –

ci.yaml

on: push
Compile
10m 14s
Compile
Lint
3m 49s
Lint
Test (Ubuntu)
7m 44s
Test (Ubuntu)
Test (macOS, Apple sillicon)
2m 7s
Test (macOS, Apple sillicon)
Fit to window
Zoom out
Zoom in