Check for copyright header

fix: apply newlines before and after comments when formatting syntax #13943

Sign in to view logs

Triggered via pull request June 13, 2025 08:25

kmill

synchronize #8626

kmill:kmill_fix_3791

Status Success

Total duration 42s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files