Check for copyright header

feat: Bool.ctorIdx #19318

Sign in to view logs

Triggered via pull request October 30, 2025 21:03

nomeata

opened #11024

joachim/bool-ctoridx

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files