Commit 86747eaf authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Virgile Prevosto
Browse files

Update nix/frama-ci.*

parent fd902513
Pipeline #36340 failed with stages