Skip to content
Snippets Groups Projects

chore(radium::Coq): Use &str instead of String for Path + Module

Passed
Vincent Lafeychine created pipeline for commit d3b06f9e
, finished
1 related merge request: !46 Some refactor in Radium crate
8 jobs 63 minutes 56 seconds, queued for 2 seconds