Skip to content
Snippets Groups Projects

chore(radium/coq): Use derive_more instead of manual impl Display

Passed
Vincent Lafeychine created pipeline for commit 99de87cb
, finished
1 related merge request: !46 Some refactor in Radium crate
8 jobs 63 minutes 27 seconds, queued for 4 seconds