Skip to content
Snippets Groups Projects

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

Passed
Lennard Gäher created pipeline for commit d3b06f9e
, finished
For main
8 jobs 62 minutes 11 seconds, queued for 2 seconds