Use ArduinoCore-API:master for CI build.#98

Merged

aentinger merged 1 commit intomasterfrom

use-ArduinoAPI-master-branch

Dec 10, 2020

Commits on Dec 10, 2020

Since the most advanced code of the ArduinoCore-API repository now reside within the master branch we should check that one out instead of the outdated branch namespace_arduino.
aentinger
committed