Check for copyright header

feat: complete `BitVec.[getMsbD|getLsbD|msb]` for shifts #5240

Sign in to view logs

Triggered via pull request October 5, 2024 21:38

synchronize #5604

opencompl:shift-msb-lsb

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files