Skip to content

Bump sphinx-rtd-theme from 2.0.0 to 3.0.2 #311

Bump sphinx-rtd-theme from 2.0.0 to 3.0.2

Bump sphinx-rtd-theme from 2.0.0 to 3.0.2 #311

Workflow file for this run

name: CI
permissions: read-all
on:
push:
branches:
- master
- '[0-9]+.[0-9]+'
pull_request:
jobs:
build_warning_nix:
name: Build with Nix
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
- uses: cachix/install-nix-action@3715ab1a11cac9e991980d7b4a28d80c7ebdd8f9
- name: Build
run: nix-shell --pure --run 'make SPHINXOPTS='-W' html'