Check toolchain file

chore: make defaultPostName.slugify public as slugifyTitle #1428

Sign in to view logs

Triggered via pull request July 8, 2026 20:07

robsimmons

synchronize #912

slugify-public

Status Success

Total duration 9s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain