Skip to content

Use integers instead of randint (#9889) #3829

Use integers instead of randint (#9889)

Use integers instead of randint (#9889) #3829

Triggered via push December 14, 2024 10:58
Status Cancelled
Total duration 3s
Artifacts
detect upstream-dev ci trigger
detect upstream-dev ci trigger
Matrix: mypy-upstream-dev
Waiting for pending jobs
Matrix: upstream-dev
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI Upstream
Canceling since a higher priority waiting request for 'CI Upstream-refs/heads/main' exists