Closed liziwl closed 5 years ago
There may be other places about the configuration of Travis ci. Pls remove them all.
Then, I will config GitHub action. In order not to configure multiple ci.
I prefer u add GHCI first?
OK, I try to deploy first.
Done, now can remove Travis CI.
@ProfFan pls remove Travis CI