summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorMark Felder <feld@feld.me>2024-01-20 22:49:37 -0500
committerMark Felder <feld@feld.me>2024-01-20 22:49:37 -0500
commit17904003139f72780fcb151491e706f3cdd2374d (patch)
tree5b8db81e117e640a64edee59a031515c354eac88 /.gitlab-ci.yml
parent06ac829eb4cc5cc9b9c34ec711be134be93e97cc (diff)
downloadpleroma-17904003139f72780fcb151491e706f3cdd2374d.tar.gz
pleroma-17904003139f72780fcb151491e706f3cdd2374d.zip
Add Dialyxir with manual job execution
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml13
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 635d6a6a8..fde220020 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -209,6 +209,19 @@ analysis:
script:
- mix credo --strict --only=warnings,todo,fixme,consistency,readability
+dialyzer:
+ extends:
+ - .build_changes_policy
+ - .using-ci-base
+ stage: lint
+ allow_failure: true
+ when: manual
+ cache: *testing_cache_policy
+ tags:
+ - feld
+ script:
+ - mix dialyzer
+
cycles:
extends: .build_changes_policy
image: *current_elixir