Check for copyright header

feat: `pp.exprSizes` debugging option #4286

Sign in to view logs

Triggered via pull request August 30, 2024 11:45

Kha

opened #5218

Kha:pp.exprSizes

Status Success

Total duration 27s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files