Check for copyright header

fix: make `register_try?_tactic` auxiliary definitions internal #20881

Sign in to view logs

Triggered via pull request December 8, 2025 05:34

kim-em

opened #11547

kim-em:fix-register-try-tactic-internal-names

Status Success

Total duration 33s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files