Build and deploy documentation

doc: fix "edit source" widget (#1597) #16

Sign in to view logs

Triggered via push May 19, 2024 05:55

cgay

master

Status Success

Total duration 2m 45s

Artifacts –

build-deploy-documentation.yml

on: push

Matrix: build-documentation

Annotations

2 warnings

build-documentation (ubuntu-latest): documentation/source/download/index.rst#L3

Duplicate explicit target name: "download binaries from github".

build-documentation (ubuntu-latest): documentation/source/release-notes/2024.2.rst#L1

document isn't included in any toctree