Check toolchain file

fix: delete obsolete READMEs #752

Sign in to view logs

Triggered via pull request January 29, 2026 16:11

david-christiansen

opened #723

old-readme-delete

Status Success

Total duration 8s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain