Check for copyright header

feat: support for `Rat` scientific literals #19152

Sign in to view logs

Triggered via pull request October 26, 2025 01:57

leodemoura

opened #10961

grind_ofScientific

Status Success

Total duration 31s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files