Skip to content
Back to pull request #9762

unpin array-api-strict as issues are resolved upstream #15332

Sign in to view logs

unpin array-api-strict as issues are resolved upstream

unpin array-api-strict as issues are resolved upstream #15332

Triggered via pull request November 11, 2024 09:14
@kmuehlbauerkmuehlbauer
reopened #9762
kmuehlbauer:unpin-array-api-strict
Status Success
Total duration 2m 22s
Artifacts –

ci-additional.yaml

on: pull_request
detect ci trigger
6s
detect ci trigger
Doctests
1m 40s
Doctests
Mypy
2m 0s
Mypy
Mypy 3.10
1m 57s
Mypy 3.10
Pyright
0s
Pyright
Pyright 3.10
0s
Pyright 3.10
Minimum Version Policy
23s
Minimum Version Policy
Fit to window
Zoom out
Zoom in