src/microfuchsia/TESTING.json5

{
    coverage: {
        category: "Microfuchsia",
    },
}