Check for copyright header

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

Sign in to view logs

Triggered via pull request October 5, 2024 21:01

synchronize #5604

opencompl:shift-msb-lsb

Status Success

Total duration 30s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files