Check for copyright header

feat: better universe normalization #13984

Sign in to view logs

Triggered via pull request June 13, 2025 12:49

opened #8769

arthur-adjedj:betteruniv

Status Success

Total duration 48s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files