CI

Remove `criterion` from devs to dev-deps (#12) #43

Sign in to view logs

Triggered via push February 7, 2025 12:30

mratsim

main

Status Success

Total duration 3m 36s

Artifacts –

ci.yml

on: push

Formatting and Clippy