Check for copyright header

fix: lake: pin mathlib in `new`/`init` to toolchain #19415

Sign in to view logs

Triggered via pull request November 2, 2025 22:40

tydeu

opened #11063

tydeu:lake/math-toolchain

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files