summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre de Lacroix <pierre@pdelacroix.com>2021-01-20 22:36:32 +0100
committerPierre de Lacroix <pierre@pdelacroix.com>2021-01-20 22:36:32 +0100
commiteef54b2c7ab3c0dca2d182b3b685daa774c991a6 (patch)
tree44ee9b3ab215174d05988bb4e3589c67ccba060a
parentfix Bridge.get_room (diff)
ci: fix MIX_ENV in compilation step + uncomment dialyzer job
-rw-r--r--.gitlab-ci.yml31
1 files changed, 14 insertions, 17 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6233c52..b1771a5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -73,22 +73,19 @@ credo:
paths:
- "credo.log"
-## this should be uncommented when
-## https://gitlab.com/gitlab-org/gitlab-runner/-/issues/27172
-## is fixed
-# dialyzer:
-# stage: dialyzer
-# needs:
-# - prepare_test
-# script:
-# - mix dialyzer
-# cache:
-# <<: *global_cache
-# policy: pull-push
-# paths:
-# - _build
-# - deps
-# - priv/plts
+dialyzer:
+ stage: dialyzer
+ needs:
+ - prepare_test
+ script:
+ - mix dialyzer
+ cache:
+ <<: *global_cache
+ policy: pull-push
+ paths:
+ - _build
+ - deps
+ - priv/plts
# Doc generation
@@ -98,7 +95,7 @@ prepare_dev:
only:
- master
variables:
- MIX_ENV: test
+ MIX_ENV: dev
script:
- mix deps.get
- mix compile