Skip to content
Tests

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

Sign in to view logs

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

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

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

test.yml

on: pull_request
Test suite with Python nightly
19m 35s
Test suite with Python nightly
Test mypyc suite with 32-bit Python
12m 5s
Test mypyc suite with 32-bit Python
Matrix: main
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test suite with Python nightly
Process completed with exit code 1.