[frama-clang] do not launch ci on older distribs with cmake < 3.20
Virgile Prevosto 1 year ago e3281e3f e594c337
··· 45 45 "sha512=748cc3202ee3cfc37cc0a11987e3324a23fe8639651ada59cda4e10367196f2b126842d8d953ed4b78753bd387c1afd4f74ef21eed45b3320a64bd24597d8dcd" 46 46 ] 47 47 } 48 48 + 49 49 + x-ci-accept-failures: [ "debian-11" "ubuntu-20.04" ]