Nicolas Jeannerod 4b77808f3f Basic CI that checks pre-commits		2024-11-14 17:50:17 +01:00
..
workflow	Basic CI that checks pre-commits	2024-11-14 17:50:17 +01:00