Add a theme that use LaTeX fonts for everything #4770

Sign in to view logs

Triggered via pull request August 22, 2023 04:14

jkrumbiegel

synchronize #3147

Kolaru:tex_theme

Status Success

Total duration 14m 42s

Artifacts –

ci.yml

on: pull_request

Matrix: test