Add mypy requirements#24

Closed

eirikurj wants to merge 4 commits intomainfrom

Commits on Nov 21, 2025

Workflow for merge protection for specific named branches (#19)
lamkina
authored

Commits on Nov 25, 2025

Adding mypy as an option to run (#21)
eirikurj
authored

Commits on Nov 26, 2025

installing requirements.txt if present locally (#23)
eirikurj
authored

Commits on Dec 3, 2025

Merge remote-tracking branch 'origin/main' into dev
eirikurj
committed