Lint source code

LaTeX: make contents, topic, and sidebar separately customizable #11502

Sign in to view logs

Triggered via pull request July 28, 2024 19:02

jfbu

synchronize #12704

jfbu:latex_contents_vs_topic_vs_sidebar

Status Success

Total duration 41s

Artifacts –

lint.yml

on: pull_request