From 87969ae7fd038432b0ec2261d530cda761141a36 Mon Sep 17 00:00:00 2001 From: Lucas Colley Date: Thu, 26 Sep 2024 11:36:14 +0100 Subject: [PATCH] DOC: add docs badge to README --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 3b4b07b..27140e2 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ # array-api-extra [![Actions Status][actions-badge]][actions-link] +[![pages-build-deployment][docs-badge]][docs-link] [![Pixi Badge](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/prefix-dev/pixi/main/assets/badge/v0.json)](https://pixi.sh) [![PyPI version][pypi-version]][pypi-link] @@ -19,6 +20,8 @@ [pypi-link]: https://pypi.org/project/array-api-extra/ [pypi-platforms]: https://img.shields.io/pypi/pyversions/array-api-extra [pypi-version]: https://img.shields.io/pypi/v/array-api-extra +[docs-badge]: https://github.com/data-apis/array-api-extra/actions/workflows/pages/pages-build-deployment/badge.svg?branch=gh-pages +[docs-link]: https://data-apis.org/array-api-extra