[frama-clang] do not launch ci on older distribs with cmake < 3.20

vprevosto · vprevosto · commit e3281e3f2033 · 2024-09-06T16:26:16.000+02:00
diff --git a/packages/frama-clang/frama-clang.0.0.16/opam b/packages/frama-clang/frama-clang.0.0.16/opam
@@ -45,3 +45,5 @@ url {
     "sha512=748cc3202ee3cfc37cc0a11987e3324a23fe8639651ada59cda4e10367196f2b126842d8d953ed4b78753bd387c1afd4f74ef21eed45b3320a64bd24597d8dcd"
   ]
 }
+
+x-ci-accept-failures: [ "debian-11" "ubuntu-20.04" ]

Original file line number	Diff line number	Diff line change
`@@ -45,3 +45,5 @@ url {`
`45`	`45`	`"sha512=748cc3202ee3cfc37cc0a11987e3324a23fe8639651ada59cda4e10367196f2b126842d8d953ed4b78753bd387c1afd4f74ef21eed45b3320a64bd24597d8dcd"`
`46`	`46`	`]`
`47`	`47`	`}`
	`48`	`+`
	`49`	`+x-ci-accept-failures: [ "debian-11" "ubuntu-20.04" ]`