8000 Merge pull request #140 from crusaderky/typing39 · data-apis/array-api-strict@7fa1667 · GitHub
[go: up one dir, main page]
Skip to content
Docs Deploy

Merge pull request #140 from crusaderky/typing39 #60

Sign in to view logs

Merge pull request #140 from crusaderky/typing39

Merge pull request #140 from crusaderky/typing39 #60

Triggered via push April 2, 2025 08:48
@ev-brev-br
pushed 7fa1667
main
Status Success
Total duration 15s
Artifacts –

docs-deploy.yml

on: push
docs-deploy
10s
docs-deploy
Fit to window
Zoom out
Zoom in
0