Check for copyright header

feat: better universe normalization #13987

Sign in to view logs

Triggered via pull request June 13, 2025 13:13

synchronize #8769

arthur-adjedj:betteruniv

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files