Transition from TravisCI to GitHub CI#7444

Merged

earlephilhower merged 15 commits intoesp8266:masterfrom

earlephilhower:toghci

Jul 15, 2020

Commits on Jul 9, 2020

Commits on Jul 10, 2020

Remove non-CI changes
earlephilhower
committed

Commits on Jul 12, 2020

Commits on Jul 14, 2020

Commits on Jul 15, 2020