File tree Expand file tree Collapse file tree 5 files changed +50
-28
lines changed Expand file tree Collapse file tree 5 files changed +50
-28
lines changed Original file line number Diff line number Diff line change
1
+ name : Docs Build
2
+
3
+ on : [push, pull_request]
4
+
5
+ jobs :
6
+ docs-build :
7
+ runs-on : ubuntu-latest
8
+ steps :
9
+ - uses : actions/checkout@v4
10
+ -
uses :
prefix-dev/[email protected]
11
+ with :
12
+ pixi-version : v0.30.0
13
+ cache : true
14
+ - name : Build Docs
15
+ run : pixi run -e docs docs
16
+ - name : Upload Artifact
17
+ uses : actions/upload-artifact@v4
18
+ with :
19
+ name : docs-build
20
+ path : docs/build/
Original file line number Diff line number Diff line change
1
+ name : Docs Deploy
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - main
7
+
8
+ jobs :
9
+ docs-deploy :
10
+ runs-on : ubuntu-latest
11
+ environment :
12
+ name : docs-deploy
13
+ steps :
14
+ - uses : actions/checkout@v4
15
+ - name : Download Artifact
16
+ uses : dawidd6/action-download-artifact@v6
17
+ with :
18
+ workflow : docs-build.yml
19
+ name : docs-build
20
+ path : docs/build/
21
+
22
+ # Note, the gh-pages deployment requires setting up a SSH deploy key.
23
+ # See
24
+ # https://github.com/JamesIves/github-pages-deploy-action/tree/dev#using-an-ssh-deploy-key-
25
+ - name : Deploy
26
+ uses : JamesIves/github-pages-deploy-action@v4
27
+ with :
28
+ folder : docs/_build/html
29
+ ssh-key : ${{ secrets.DEPLOY_KEY }}
30
+ force : no
Original file line number Diff line number Diff line change 78
78
hooks :
79
79
- id : check-dependabot
80
80
- id : check-github-workflows
81
- - id : check-readthedocs
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
1
# array-api-extra
2
2
3
3
[ ![ Actions Status] [ actions-badge ]] [ actions-link ]
4
- [ ![ Documentation Status] [ rtd-badge ]] [ rtd-link ]
5
4
[ ![ Pixi Badge] ( https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/prefix-dev/pixi/main/assets/badge/v0.json )] ( https://pixi.sh )
6
5
7
6
[ ![ PyPI version] [ pypi-version ]] [ pypi-link ]
20
19
[ pypi-link ] : https://pypi.org/project/array-api-extra/
21
20
[ pypi-platforms ] : https://img.shields.io/pypi/pyversions/array-api-extra
22
21
[ pypi-version ] : https://img.shields.io/pypi/v/array-api-extra
23
- [ rtd-badge ] : https://readthedocs.org/projects/array-api-extra/badge/?version=latest
24
- [ rtd-link ] : https://array-api-extra.readthedocs.io/en/latest/?badge=latest
25
22
26
23
<!-- prettier-ignore-end -->
27
24
You can’t perform that action at this time.
0 commit comments