sphinx

feat: Add config manager to manage progress bar #1833

# to view logs

Triggered via pull request February 17, 2025 11:17

auguste-probabl

synchronize #1334

glemaitre:is/1264

Status Success

Total duration 7m 24s

Artifacts –

sphinx.yml

on: pull_request

sphinx-deploy-html

sphinx-deploy-root-files

sphinx-clean-artifacts