Lint source code

LaTeX: two lines lost in previous commit (docs) #11865

Sign in to view logs

Triggered via pull request August 23, 2024 16:14

jfbu

opened #12819

jfbu:latex_docs

Status Success

Total duration 34s

Artifacts –

lint.yml

on: pull_request