1
0
mirror of https://github.com/ryanoasis/nerd-fonts.git synced 2024-12-01 16:55:57 +02:00

Merge pull request #493 from kazukazuinaina/fix_ci_error

[fix] CI error
This commit is contained in:
Ryan L McIntyre 2020-07-28 21:26:38 -07:00 committed by GitHub
commit 4b269b2776
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,16 +3,6 @@ language: bash
# Use container-based infrastructure for quicker build start-up
sudo: false
addons:
apt:
sources:
- debian-sid # Grab shellcheck from the Debian repo (o_O)
before-script:
- "sudo apt-get install cabal-install"
- "cabal update"
- "cabal install shellcheck"
script:
- bash -c 'shopt -s globstar; shellcheck --exclude SC2034 **/*.sh'