Check for copyright header

feat: `subst` tactic can substitute `let` values #13195

Sign in to view logs

Triggered via pull request May 26, 2025 20:23

kmill

synchronize #8450

kmill:kmill_subst_ldecl

Status Success

Total duration 48s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files