Stages

What each stage runs, what it reports, and where its threshold comes from.

A run has three phases. Format fixes what it can. Compile gates the rest: analysing code that does not build wastes the wait. Everything else runs in parallel and prints as it finishes.

Format

Runs mix format, having first checked with --check-formatted so it can report how many files it changed.

✓ Format: Formatted 3 files (0.2s)
✓ Format: No changes needed (458ms)

A project with no .formatter.exs is reported as skipped rather than failed: it never had the config file, so there is nothing to enforce. A mix format that fails - a syntax error, say - is reported as a failure, not as a green tick over a file that could not be parsed.

Compile

Compiles dev and test in parallel, with --warnings-as-errors by default.

✓ Compile: dev + test compiled (warnings as errors) (325ms)
✗ Compile: dev compilation failed

A failure here stops the run. The analysis stages that were never reached are reported as skipped, with compile failed as the reason, so they do not read as stages that passed.

Set compile: [warnings_as_errors: false] to allow warnings.

Credo

Runs mix credo --format json, so an issue is never dropped for having an unfamiliar line shape.

✓ Credo: No issues (775ms)
✗ Credo: 5 issues (2 readability, 3 design) (0.4s)

Each issue becomes a finding naming the check that produced it:

lib/user.ex
  42:3  [info] Modules should have a @moduledoc tag. (Credo.Check.Readability.ModuleDoc)

credo: [strict: true] is the default. Configure credo itself in .credo.exs.

Dialyzer

Runs mix dialyzer --no-compile --format short --format dialyxir. The short form of each warning becomes a finding naming the warning (no_return, pattern_match); dialyxir's long explanation is kept alongside it, in the stage's output and in the JSON report.

✓ Dialyzer: No warnings (32.1s)
✗ Dialyzer: 2 warnings (12.4s)

Dialyzer analyses against a PLT, a cache of every module it has already seen. Building one takes minutes, analysing against a warm one takes seconds. A run that has to build it says so while it happens, rather than looking hung:

⋯ Dialyzer: building PLT (this is a one-time cost)
✓ Dialyzer: No warnings (PLT built this run) (252.4s)

mix quality.plt builds it outside a run, so a container image or CI job can cache it. See ci.md. --quick skips this stage.

Dependencies

Two checks in one stage. mix deps.unlock --check-unused always; and mix deps.audit --format json when :mix_audit is installed.

✓ Dependencies: No unused dependencies (0.3s)
✗ Dependencies: 1 vulnerability (1 moderate) (2.5s)

Each vulnerability becomes a finding against the lockfile, naming the advisory, the version in use and the version that fixes it. Unused dependencies become findings too.

mix.lock
  -  [error] decimal 2.3.0: Unbounded exponent in `Decimal.new` enables
     unauthenticated DoS (moderate severity, patched in 3.0.0) (GHSA-rhv4-8758-jx7v)

Doctor

Runs mix doctor, which enforces the documentation coverage thresholds in the project's .doctor.exs.

✓ Doctor: Passed (519ms)
✗ Doctor: Documentation coverage below threshold

doctor: [summary_only: true] prints only the summary.

Gettext

Runs mix gettext.extract --merge, then reads the resulting .po files for untranslated and fuzzy entries.

✓ Gettext: All translations complete (1.1s)
✗ Gettext: 4 missing, 2 fuzzy translation(s)

Sobelow

Runs mix sobelow on a Phoenix project.

Sobelow reports findings at three confidence levels, but only those at or above the project's exit: threshold block a build. ExQuality renders those and reports the rest as a count:

✗ Sobelow: 2 blocking findings (1 high, 1 medium), 3 informational not shown

The threshold comes from .sobelow-conf when that file sets one, because what blocks a build is a security decision that belongs with the security config. sobelow: [exit: "high"] in .quality.exs only supplies a default for a project without one; the default when neither says is "medium".

Pass --verbose, or set sobelow: [show_informational: true], to render the findings below the threshold as well.

ExQuality will never suggest editing .sobelow-conf to make a run pass. A tool that silences its own findings to go green is a regression dressed as a pass.

Tests

Runs mix test, or mix coveralls when coverage is being measured.

✓ Tests: 345 of 345 passed (4.1s)
✓ Tests: 248 passed, 87.3% coverage (5.2s)
✗ Tests: 3 of 4,180 failed (web: 3)

Extra arguments reach the test command via -- or test: [args: [...]]. See configuration.md.

Coverage

Coverage is part of the Tests stage, and --quick turns it off.

The threshold is not configured in ExQuality. It is read from whichever coverage tool the project already uses, so there is one source of truth:

Without excoveralls, coverage is measured only when the project states a threshold that way. Elixir applies a default of 90% whether or not a project has ever thought about coverage, and ExQuality will not turn a green run red over a number nobody chose. To measure anyway:

# .quality.exs
test: [coverage: true]   # or false to never measure

When the threshold is missed, the modules under it are reported as findings, rather than the whole per-module table:

✗ Tests: Coverage 62.5% (required: 90.0%)

lib/my_app/mailer.ex
  -  [error] MyApp.Mailer is 0.0% covered (threshold 90.0%)
lib/my_app/thing.ex
  -  [error] MyApp.Thing is 33.3% covered (threshold 90.0%)

Lowering the threshold to make a run pass is a decision for a human, not a fix.