Skip to content

Use the same device for splitting keys. #2030

Use the same device for splitting keys.

Use the same device for splitting keys. #2030

Workflow file for this run

name: docs
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
test-ubuntu:
name: "docs on ${{ matrix.python-version }} on ${{ matrix.os }}"
runs-on: "${{ matrix.os }}"
strategy:
matrix:
python-version: [3.11]
os: [ubuntu-latest]
steps:
- uses: actions/checkout@v2
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v1
with:
python-version: ${{ matrix.python-version }}
- name: Install dependencies
run: |
sudo apt install -y pandoc
python -m pip install --upgrade pip
pip install -r requirements.txt
pip install -r requirements-jax.txt
pip install -r requirements-test.txt
pip install -r docs/requirements.txt
pip install .
- name: Print installed dependencies
run: |
pip freeze
- name: Test coverage
run: |
cd docs
make coverage_check
- name: Test doctests
run: |
cd docs
make doctest
- name: Test docs to HTML
run: |
cd docs
make html