Skip to content
Run mypy_primer

"mypy Gitter" is dead; it is called "python/typing" #5264

Sign in to view logs

"mypy Gitter" is dead; it is called "python/typing"

"mypy Gitter" is dead; it is called "python/typing" #5264

Triggered via pull request July 6, 2023 15:41
@stdedosstdedos
opened #15610
chore/update-gh-template/questions
Status Success
Total duration 22m 40s
Artifacts 1

mypy_primer.yml

on: pull_request
Matrix: Run mypy_primer
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
mypy_primer_diffs Expired
6 Bytes