[ci] Re-enable llvm-gcc-4.2 bots (#1429)
authorEbrahim Byagowi <ebrahim@gnu.org>
Thu, 29 Nov 2018 20:27:50 +0000 (23:57 +0330)
committerGitHub <noreply@github.com>
Thu, 29 Nov 2018 20:27:50 +0000 (23:57 +0330)
commitb65645bbafb3f1f9f956df3028cf4479a4bdc265
tree122b8e031429bf9c90fdc543a7ea62b70d7e5cef
parente7bd29ea11bd6301a332b471120a4a2cd8575d09
[ci] Re-enable llvm-gcc-4.2 bots (#1429)
.circleci/config.yml