Remove scripts/ci/checks/hlint (#106)

This script would fail in CI with

    ./scripts/ci/checks/hlint: line 6: hlint: command not found

See e.g. https://travis-ci.org/quchen/prettyprinter/jobs/634133471#L1091

The scripts/ci/install/hlint script remains and effectively
performs the HLint check.
This commit is contained in:
Simon Jakobi 2020-01-12 19:57:44 +01:00 committed by GitHub
parent 7da3b1d32f
commit 2272b653c5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +0,0 @@
#!/usr/bin/env bash
set -euo pipefail
cd "$(stack path --project-root)"
hlint --version
hlint . --cpp-include=aux --cpp-define="MIN_VERSION_base(x,y,z) 1" --color