Check toolchain file

fix: include reference text in TeX output #1434

Sign in to view logs

Re-run triggered July 27, 2026 09:22

david-christiansen

#917

medovina:ref-text

Status Success

Total duration 13s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain