Skip to content
CI

CI #6231

Sign in to view logs

CI

CI #6231

Triggered via schedule January 8, 2025 01:06
@ms-jpqms-jpq
⁠ 976012b
coq
Status Success
Total duration 4m 23s
Artifacts –

ci.yml

on: schedule
Matrix: mypy
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
mypy (3.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3.13)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3.8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mypy (3.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636