Documentation Tests

Add option to not remove temporary directories #6050

Sign in to view logs

Triggered via pull request December 3, 2023 15:20

dweindl

synchronize #2221

dweindl:keep_tmpdir

Status Success

Total duration 17m 36s

Artifacts –

test_doc.yml

on: pull_request

Matrix: Test Doxygen

Matrix: Test Sphinx