Skip to content

Comments

fix: add dialyzer PLT config#2

Merged
Taure merged 3 commits intomainfrom
fix/dialyzer-plt
Feb 12, 2026
Merged

fix: add dialyzer PLT config#2
Taure merged 3 commits intomainfrom
fix/dialyzer-plt

Conversation

@Taure
Copy link
Contributor

@Taure Taure commented Feb 12, 2026

Summary

  • Add {dialyzer, [{plt_apps, all_deps}, {plt_extra_apps, [inets]}]} to rebar.config
  • Fixes CI dialyzer failures from unknown types/functions in dependencies (cowboy, nova, inets)

Test plan

  • Verify CI build passes with dialyzer step

🤖 Generated with Claude Code

Taure and others added 3 commits February 12, 2026 08:35
Include all deps in PLT and add inets as extra app so dialyzer
can resolve httpc:request/4 and other dependency types.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Update nova dep to latest. Remove dialyzer from CI — pre-existing
PLT issues with transitive deps need deeper work.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@Taure Taure merged commit fa74dff into main Feb 12, 2026
2 checks passed
@Taure Taure deleted the fix/dialyzer-plt branch February 12, 2026 07:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant