colibrics merge requestshttps://git.frama-c.com/pub/colibrics/-/merge_requests2024-03-26T09:32:53Zhttps://git.frama-c.com/pub/colibrics/-/merge_requests/55Bobot/decisions2024-03-26T09:32:53ZFrançois BobotBobot/decisionshttps://git.frama-c.com/pub/colibrics/-/merge_requests/56Draft: use nix for CI2024-03-26T09:15:02ZFrançois BobotDraft: use nix for CI