Check for copyright header

fix: spurious invariant instantiation in `mspec` by `rfl` #18409

Sign in to view logs

Triggered via pull request October 1, 2025 14:48

sgraf812

opened #10641

sg/mspec-invariant-instantiation

Status Success

Total duration 46s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files