Lint

Remove docs/Makefile and use sphinx-build directly #800

Sign in to view logs

Triggered via pull request October 27, 2025 02:23

synchronize #2703

remove-docs-makefile

Status Success

Total duration 3m 54s

Artifacts –

lint.yml

on: pull_request

Matrix: build

completion-lint