diff options
| author | 2018-07-24 13:20:39 +0100 | |
|---|---|---|
| committer | 2018-07-24 13:20:39 +0100 | |
| commit | 05f9768d01ac14bb8c67f83eb8634547d863ba43 (patch) | |
| tree | 265faf1556d638afac031124a14bf703b20c62d4 | |
| parent | [Modlog] Detect username/discrim changes; better output formatting (diff) | |
Attempt to speed up build
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ea398d508..88ab5d927 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,7 +11,7 @@ test: stage: test script: - - pipenv sync --dev + - pipenv install --dev --deploy - pipenv run lint build: |