[CI] Use GitHub actions instead of Travis CI build#861
Merged
fpistm merged 5 commits intostm32duino:masterfrom Feb 21, 2020
Merged
[CI] Use GitHub actions instead of Travis CI build#861fpistm merged 5 commits intostm32duino:masterfrom
fpistm merged 5 commits intostm32duino:masterfrom
Commits
Commits on Feb 19, 2020
- committed
- committed
- committed
- committed
