104afa404d75dc9a801212c8259ce24b2ab3e3ee
100%

Ran 26 Oct 2026 07:03PM UTC

Jobs 2

Files 2

Run time 1min

Badge

Embed ▾

Committed 26 Oct 2026 07:02PM UTC coverage: 100.0%. Remained the same

Build # 104afa404d75dc9a801212c8259ce24b2ab3e3ee

Build Type

push

github

Committed by

web-flow

Commit Message

Suppress Dialyzer's false contract_with_opaque warning on Q.new/0 (#16)

* Suppress Dialyzer's false contract_with_opaque warning on Q.new/0

The compiler turns MapSet.new() into a literal %MapSet{map: %{}} inside
Q.new/0. OTP 28's Dialyzer treats MapSet.internal() as opaque and
reports Q as building it, so the spec looks violated. The value is a
normal MapSet; any function specced to return a set from MapSet.new in
its own module gets the same warning.

* Run Dialyzer in CI

Add Dialyzer to the lint job, after Credo. PLTs live in priv/plts so
they get their own cache, keyed on OTP, Elixir and mix.lock; the _build
cache can't pick up a PLT built after it was saved.

Coverage Stats

170 of 170 relevant lines covered (100.0%)

116.36 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	104afa404d75dc9a801212c8259ce24b2ab3e3ee.1	26 Oct 2026 07:03PM UTC	2	100.0	GitHub Action Run
2	104afa404d75dc9a801212c8259ce24b2ab3e3ee.2	26 Oct 2026 07:04PM UTC	2	100.0	GitHub Action Run

gpedic / ex_q / 104afa404d75dc9a801212c8259ce24b2ab3e3ee
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 104afa404d75dc9a801212c8259ce24b2ab3e3ee

gpedic / ex_q / 104afa404d75dc9a801212c8259ce24b2ab3e3ee 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 104afa404d75dc9a801212c8259ce24b2ab3e3ee

gpedic / ex_q / 104afa404d75dc9a801212c8259ce24b2ab3e3ee
100%

README BADGES
x