Skip to content
Back to pull request #156

[patch-axel-25] CI: add mypy for type checking of python scripts #3589

Sign in to view logs

[patch-axel-25] CI: add mypy for type checking of python scripts

[patch-axel-25] CI: add mypy for type checking of python scripts #3589

Run time

Learn about OS pricing on GitHub Actions
Job Run time
C Proofs
0s
0s