Check for copyright header

chore: remove unnecessary `partial` in Lean.Expr #13119

Sign in to view logs

Triggered via pull request May 24, 2025 06:37

digama0

opened #8464

digama0:rm_partial

Status Success

Total duration 43s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files