Check for copyright header

feat: `BitVec` unsigned order theoretic results #4483

Sign in to view logs

Triggered via pull request September 10, 2024 09:02

hargoniX

opened #5297

hbv/bitvec-order

Status Success

Total duration 39s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files