Check for copyright header

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

Sign in to view logs

Triggered via pull request October 16, 2025 08:31

Kha

opened #10802

Kha:push-msnornyvwmwn

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files