Check for copyright header

chore: even more module system fixes and refinements from Mathlib porting #18815

Sign in to view logs

Triggered via pull request October 15, 2025 13:41

Kha

synchronize #10726

Kha:push-molqytxmnzzp

Status Success

Total duration 56s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files