Skip to content

Simplify the way we're generating badges #302

Simplify the way we're generating badges

Simplify the way we're generating badges #302

mypy

succeeded Jan 30, 2025 in 13s
Set up job
1s
Check out the repository under ${GITHUB_WORKSPACE}
0s
Setup Python 3.12
0s
Install mypy
5s
Run mypy checks
4s
Post Setup Python 3.12
0s
Post Check out the repository under ${GITHUB_WORKSPACE}
0s
Complete job
0s