Check for copyright header

feat: model based theory combination for `grind mbtc` #13932

Sign in to view logs

Triggered via pull request June 13, 2025 00:59

leodemoura

opened #8759

grind_linarith_mbtc

Status Success

Total duration 42s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files