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

Sign in to view logs

Triggered via pull request October 9, 2023 14:15

labeled #110570

ezio-melotti:rm-sphinxlint-var

Status Success

Total duration 14s

Artifacts –

require-pr-label.yml

on: pull_request

DO-NOT-MERGE / unresolved review