Skip to content

Use integers instead of randint #18381

Use integers instead of randint

Use integers instead of randint #18381

Triggered via pull request December 14, 2024 08:50
Status Cancelled
Total duration 16s
Artifacts

upstream-dev-ci.yaml

on: pull_request
detect upstream-dev ci trigger
6s
detect upstream-dev ci trigger
Matrix: mypy-upstream-dev
Matrix: upstream-dev
Fit to window
Zoom out
Zoom in

Annotations

1 error
detect upstream-dev ci trigger
Canceling since a higher priority waiting request for 'CI Upstream-refs/pull/9889/merge' exists