Check for copyright header

chore: add an assertion about mkValueTypeClosure #19134

Sign in to view logs

Triggered via pull request October 25, 2025 11:23

eric-wieser

opened #10954

eric-wieser:patch-62

Status Success

Total duration 50s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files