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

Merge branch 'master' into master

This commit is contained in:
André David 2020-07-29 06:52:33 +02:00 committed by GitHub
commit 91e63f302b
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 --allow-unauthenticated cabal-install"
- "cabal update"
- "cabal install ShellCheck"
script:
- bash -c 'shopt -s globstar; shellcheck --exclude SC2034 **/*.sh'