Skip to content

Make when to run lint/dialyzer more flexible#459

Merged
PragTob merged 1 commit intomainfrom
more-flexible-build-matrix
Apr 13, 2025
Merged

Make when to run lint/dialyzer more flexible#459
PragTob merged 1 commit intomainfrom
more-flexible-build-matrix

Commits

Commits on Apr 13, 2025