Check for copyright header

feat: make `Quot` live in `Sort (max 1 u)` rather than `Sort u` #30335

Sign in to view logs

Triggered via pull request September 4, 2026 12:37

opened #15023

arthur-adjedj:fixQuot2

Status Success

Total duration 44s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files