26505934200
100%

Ran 27 May 2026 10:33AM UTC

Jobs 1

Files 13

Run time 1min

Badge

Embed ▾

Committed 27 May 2026 10:33AM UTC coverage: 99.065%. Remained the same

Build # 26505934200

Build Type

push

github

Committed by

sgerrand

Commit Message

ci: add Dialyzer job with cached priv/plts PLTs

Run `mix dialyzer --format github` on every PR using the same Elixir
and OTP versions as the docs job. Configure dialyxir to write PLTs
into `priv/plts/` (instead of the default `_build/` location) so the
CI cache can key them separately from compiled artefacts and survive
across `_build` invalidations.

* mix.exs: set `dialyzer.plt_local_path` and `plt_core_path` to
  `priv/plts`.
* .gitignore: exclude `/priv/plts/`.
* ci.yml: cache `priv/plts` keyed on OTP/Elixir/mix.lock, build PLTs
  only on cache miss, then run analysis. Job added to
  `required.needs` so failures block merge.

Coverage Stats

318 of 321 relevant lines covered (99.07%)

14.88 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26505934200.1	27 May 2026 10:33AM UTC	13	99.07	GitHub Action Run

sgerrand / ex_deputy / 26505934200
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26505934200

sgerrand / ex_deputy / 26505934200 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26505934200

sgerrand / ex_deputy / 26505934200
100%

README BADGES
x