Skip to content

ci: remove Travis configs#4435

Merged
wchargin merged 1 commit intomasterfrom
wchargin-ci-rm-travis
Dec 8, 2020
Merged

ci: remove Travis configs#4435
wchargin merged 1 commit intomasterfrom
wchargin-ci-rm-travis

Commits

Commits on Dec 8, 2020