Integrates Dialyzer static analysis into Elixir and Erlang development workflows and CI/CD pipelines.
This skill provides comprehensive guidance for implementing Dialyzer, the success-typing static analysis tool, within Erlang and Elixir projects. It offers standardized patterns for local development, incremental analysis, and automated CI/CD integration using GitHub Actions and GitLab CI. By including configurations for IDEs, pre-commit hooks, and performance optimization techniques like shared PLT strategies, this skill helps teams maintain high code quality and catch type errors early in the development lifecycle.
Key Features
01Standardized CI/CD pipeline configurations for GitHub Actions and GitLab CI
02Optimized local development workflows with incremental analysis and shared PLT strategies
0339 GitHub stars
04Pre-commit hook implementation for automated code quality gates
05Performance tuning techniques for faster analysis and memory management
06IDE integration patterns for VS Code (ElixirLS) and Neovim
Use Cases
01Setting up Dialyzer for the first time in an Elixir project with optimized caching
02Automating type checking within a CI/CD pipeline to prevent regressive bugs
03Integrating Dialyzer into a team's local development environment to ensure consistent standards
