Commit eb1d3603 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update nix/frama-ci.*

parent 4001a6b3
Pipeline #38717 failed with stages