Remove unused `SPHINXLINT` var from `Doc/Makefile`. #40935

Sign in to view logs

Triggered via pull request October 9, 2023 14:15

bedevere-app[bot]

labeled #110570

ezio-melotti:rm-sphinxlint-var

Status Success

Total duration 15s

Artifacts –

require-pr-label.yml

on: pull_request

DO-NOT-MERGE / unresolved review