Check for copyright header

chore: lean.code-workspace: fix terminal cwd #18835

Sign in to view logs

Triggered via pull request October 16, 2025 08:43

Kha

synchronize #10802

Kha:push-msnornyvwmwn

Status Success

Total duration 41s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files