Skip to content

🔧 Activate mypy#113

Merged
ubmarco merged 9 commits intomasterfrom
mh-activate-mypy
Jun 16, 2025
Merged

🔧 Activate mypy#113
ubmarco merged 9 commits intomasterfrom
mh-activate-mypy

Conversation

@ubmarco
Copy link
Member

@ubmarco ubmarco commented Apr 1, 2025

Excluded all erroneous files for now so they can be enabled file-by-file in subsequent PRs.

@ubmarco ubmarco mentioned this pull request Apr 1, 2025
@ubmarco ubmarco force-pushed the mh-activate-mypy branch from 75d6a4b to 7c3b7ea Compare April 2, 2025 07:32
@ubmarco ubmarco force-pushed the mh-activate-mypy branch from cf10b12 to bee1160 Compare May 29, 2025 20:45
@ubmarco ubmarco force-pushed the mh-activate-mypy branch from 9fbb559 to 0f0c56f Compare June 16, 2025 14:09
@ubmarco ubmarco merged commit 99565dc into master Jun 16, 2025
25 checks passed
@ubmarco ubmarco deleted the mh-activate-mypy branch June 16, 2025 14:12
@korbi-web-215 korbi-web-215 restored the mh-activate-mypy branch June 20, 2025 08:24
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.

2 participants