Merge pull request #329 from crusaderky/mypy · crusaderky/array-api-extra@13d4a70

Triggered via push June 11, 2025 08:54

crusaderky

main

Status Success

Total duration 21s

Artifacts 1

docs-build.yml

on: push

Produced during runtime

Name	Size	Digest
docs-build Expired	245 KB	`sha256:7f392e2d6e4b413b686dd9fad277a466849c87c2d9ae95a734bc977c5569f8e6`