Moved mypy from pre-commit to GitHub Action

[HangenYuu]

Description

Move mypy action out of .pre-commit to run on GitHub Action only due to slowness.

Related Issue

• Closes Don't run mypy in pre-commit #768
• Related to #

Checklist

• Checked that the pre-commit linting/style checks pass
• Included tests that prove the fix is effective or that the new feature works
• Added necessary documentation (docstrings and/or example notebooks)
• If you are a pro: each commit corresponds to a relevant logical change

Type of change

• New feature / enhancement
• Bug fix
• Documentation
• Maintenance
• Other (please specify):

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 80.85%. Comparing base (8c157a2) to head (a6093e6).
Report is 209 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #775   +/-   ##
=======================================
  Coverage   80.85%   80.85%           
=======================================
  Files         162      162           
  Lines       47016    47016           
  Branches    11501    11501           
=======================================
  Hits        38014    38014           
  Misses       6751     6751           
  Partials     2251     2251           

[HangenYuu]

The workflow is up and running. What I have done:

1. Remove mypy from pre-commit file.
2. Create a GitHub Action config file for mypy.
3. Add dependencies for mypy to environment.yml.

[maresb]

Great work @HangenYuu! I think we can squash-merge this as-is.

Would you be willing to do a followup PR on this to get rid of the old and unstable setup-miniconda action in favor of the newer and much simpler setup-micromamba action?

I did this in pymc-devs/pymc#7213, but it didn't get merged and became stale due to some issues with the tests. You should be able to use that as a template. Basically what you need to do is:

1. Add the shell initialization so that the Conda environment is properly activated:

defaults:
  run:
    shell: bash -leo pipefail {0}

2. Delete the cache actions
3. Replace setup-miniconda with the much simpler setup-micromamba and adapt the settings, which I think you could basically copy from Switch to setup-micromamba action pymc#7213 with minor adaptations.

Does this make sense, and is it something you'd be able to help with? Thanks a lot!

[HangenYuu]

Hi @maresb, yes I would like to help!

[ricardoV94]

Thanks a ton @HangenYuu

[maresb]

Thanks again @HangenYuu!

Feel free to tackle the task I described above, and let me know if you have any questions.