Skip to content
doc_build

Fix diff-file being created when not configured #3145

Sign in to view logs

Fix diff-file being created when not configured

Fix diff-file being created when not configured #3145

Triggered via pull request April 28, 2024 18:34
@flyinghyraxflyinghyrax
synchronize #1716
flyinghyrax:diff-file-optionality
Status Success
Total duration 1m 14s
Artifacts –

doc_build.yml

on: pull_request
html + linkcheck build
1m 7s
html + linkcheck build
Fit to window
Zoom out
Zoom in