Check for copyright header

refactor: replace `PRange shape α` with `Rcc α` and eight other types #18391

Sign in to view logs

Triggered via pull request October 1, 2025 10:00

datokrat

synchronize #10319

paul/ranges/nondep

Status Success

Total duration 39s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files