diff options
| author | James McCoy <jamessan@jamessan.com> | 2020-11-13 14:13:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-13 14:13:42 -0500 |
| commit | 7c4f349661bd7e66f22b3a0903ffb7b8db1222e7 (patch) | |
| tree | e8227d5e2a30f9424a1c405a79766e5dc3779e6c /ci/before_script.sh | |
| parent | aaca2c1c4d07d5bb9dd297b8e21e4a66acfb8ad3 (diff) | |
| parent | 7ac3c39e39effcbf57f5622efde0fce20eac2fdd (diff) | |
| download | rneovim-7c4f349661bd7e66f22b3a0903ffb7b8db1222e7.tar.gz rneovim-7c4f349661bd7e66f22b3a0903ffb7b8db1222e7.tar.bz2 rneovim-7c4f349661bd7e66f22b3a0903ffb7b8db1222e7.zip | |
Merge pull request #13287 from jamessan/github-actions
Diffstat (limited to 'ci/before_script.sh')
| -rwxr-xr-x | ci/before_script.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ci/before_script.sh b/ci/before_script.sh index 1759dbe942..8bab1c4e17 100755 --- a/ci/before_script.sh +++ b/ci/before_script.sh @@ -3,10 +3,6 @@ set -e set -o pipefail -if [[ "${CI_TARGET}" == lint ]]; then - exit -fi - CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" source "${CI_DIR}/common/build.sh" |