Check toolchain file

feat: produce one-sided LaTeX output by default #1460

Sign in to view logs

Triggered via pull request July 30, 2026 13:53

medovina

synchronize #932

medovina:onesided

Status Success

Total duration 7s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain