Check for copyright header

feat: allow limiting the number of binders in delabConstWithSignature #6379

Sign in to view logs

Triggered via pull request November 15, 2024 15:35

eric-wieser

opened #6092

eric-wieser:patch-26

Status Success

Total duration 38s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files