Check for copyright header

fix: `preprocessLight` at `ensureInternalized` #13126

Sign in to view logs

Triggered via pull request May 24, 2025 16:53

leodemoura

opened #8466

grind_prove_eq

Status Success

Total duration 50s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files