Check toolchain file

fix: deduplicate auto-generated heading tags in freshTag #1485

Sign in to view logs

Triggered via pull request August 5, 2026 09:50

Chessing234

synchronize #937

Chessing234:fix/freshTag-internal-dedup

Status Success

Total duration 14s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain