Check for copyright header

feat: allow anonymous equality proofs in `match` expressions #8242

Sign in to view logs

Triggered via pull request January 29, 2025 16:47

jrr6

opened #6853

jrr6:match-hole

Status Success

Total duration 35s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files