Skip to content
Lint

Add a new Sphinx soft-deprecated directive #112997

Sign in to view logs

Add a new Sphinx soft-deprecated directive

Add a new Sphinx soft-deprecated directive #112997

Triggered via pull request April 15, 2026 20:52
@hugovkhugovk
synchronize #148630
hugovk:3.15-docs-soft-deprecate-directive
Status Cancelled
Total duration 22s
Artifacts –

lint.yml

on: pull_request
lint
19s
lint
Fit to window
Zoom out
Zoom in

Annotations

3 errors
lint
Canceling since a higher priority waiting request for Lint-3.15-docs-soft-deprecate-directive exists
lint
The operation was canceled.
Lint
Canceling since a higher priority waiting request for Lint-3.15-docs-soft-deprecate-directive exists