Nicolas “Niols” Jeannerod 8d0a879d3e Switch all CI jobs to nixos label		2025-06-24 15:00:13 +02:00
..
workflows	Switch all CI jobs to nixos label	2025-06-24 15:00:13 +02:00