[ci] minor improvements (#644)
authorebraminio <ebrahim@gnu.org>
Wed, 6 Dec 2017 14:57:27 +0000 (18:27 +0330)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2017 14:57:27 +0000 (18:27 +0330)
commit5a6d2b986a02fc47fa9dcbb330e6949af8e375ff
tree961886f623a9dfe719ce12d06edb1e71a95b8aa7
parent840a32e3f3ed0a85bfa84e69efaeb504d92d1aa7
[ci] minor improvements (#644)
.circleci/config.yml
appveyor.yml