ci: fix with_coverage
, isolate not unstable
but extra_functional
#4573
+10
−8
with_coverage
, isolate not unstable
but extra_functional
#4573