Nicolas “Niols” Jeannerod 8d7467276c Switch all CI jobs to nixos label		2025-07-06 21:37:39 +02:00
..
workflows	Switch all CI jobs to nixos label	2025-07-06 21:37:39 +02:00