Check for copyright header

feat: add `Hashable` instances for `PUnit` and `PEmpty` #8271

Sign in to view logs

Triggered via pull request January 30, 2025 10:05

javra

opened #6866

javra:hashable-pempty-punit

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files