[ci] minor cleanup (#600)

This commit is contained in:
ebraminio 2017-11-01 16:24:46 -07:00 committed by GitHub
parent 260246a279
commit 292ef2675e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 4 deletions

View File

@ -88,7 +88,3 @@ workflows:
- linux-arm64
- linux-mips
- windows-x64
branches:
ignore:
- gh-pages