Fix false positives from CI build#102

Merged

aentinger merged 1 commit intoarduino-libraries:masterfrom

per1234:fix-ci-false-negative

Mar 19, 2020

Commits on Mar 18, 2020

Fix false negatives during CI build
per1234
committed