Check for copyright header

chore: add missing `noexcept`s #25717

Sign in to view logs

Triggered via pull request April 10, 2026 23:27

eric-wieser

opened #13370

eric-wieser:eric-wieser/no-except-mpz

Status Success

Total duration 58s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files