This repository was archived by the owner on Apr 24, 2021. It is now read-only.

Adjust CI to cater to recent build changes#138

Merged

chenglou merged 1 commit intomasterfrom

Apr 20, 2021

Commits on Apr 20, 2021

Adjust CI to cater to recent build changes
chenglou
committed