Check for copyright header

doc: `MkBinding.abstractRange` doesn't do anything with types of free variables #6376

Sign in to view logs

Triggered via pull request November 15, 2024 11:54

JovanGerb

opened #6089

JovanGerb:abstractRange

Status Success

Total duration 39s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files