Check toolchain file

fix: correct markdown header processing #208

Sign in to view logs

Triggered via pull request October 1, 2025 14:56

jcreedcmu

synchronize #539

jcreedcmu:jcreed-markdown-fix

Status Success

Total duration 8s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain