Tanguy c06c9b578c Various dev-ops things (#85) ... * Add metrics server * Add --version * Fixes for chronicles=trace + ci		2022-04-14 12:49:03 +02:00
..
workflows	Various dev-ops things (#85)	2022-04-14 12:49:03 +02:00