[ci] minor cleanup (#600)
authorebraminio <ebrahim@gnu.org>
Wed, 1 Nov 2017 23:24:46 +0000 (16:24 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Nov 2017 23:24:46 +0000 (16:24 -0700)
.circleci/config.yml

index 630ab0b683831059db286c26a070e3af5ccea4a0..456d65903aaee4a2176b5089af0682fc23143697 100644 (file)
@@ -88,7 +88,3 @@ workflows:
       - linux-arm64
       - linux-mips
       - windows-x64
-
-branches:
-  ignore:
-    - gh-pages