Skip to content
Snippets Groups Projects

Merge branch 'pini-fmt-and-clippy' into 'dev'

Failed
pini created pipeline for commit a03e7e9a
, finished
For dev
10 minutes 28 seconds, queued for 5 seconds