Skip to content
build

docs: remove sphinx-rtd-theme pin. #1145

Sign in to view logs

docs: remove sphinx-rtd-theme pin.

docs: remove sphinx-rtd-theme pin. #1145

Triggered via push September 28, 2025 12:12
@lemon24lemon24
pushed ef4593b
master
Status Success
Total duration 5m 44s
Artifacts –

build.yaml

on: push
typing
22s
typing
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

4 notices
tests (3.13, windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
tests (3.11, windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
tests (3.12, windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
tests (pypy-3.11, windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677