Skip to content
Back to pull request #78266

doc: sphinx-lint: fix bad usage of "default role" (single backticks) #136032

Sign in to view logs

doc: sphinx-lint: fix bad usage of "default role" (single backticks)

doc: sphinx-lint: fix bad usage of "default role" (single backticks) #136032

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check for doc changes
37s
Documentation Build (PDF)
0s
Documentation Build (HTML)
13m 2s
Documentation Build Status / all jobs passed
1s
13m 40s