Check for copyright header

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

Sign in to view logs

Triggered via pull request October 3, 2024 08:37

synchronize #5604

opencompl:shift-msb-lsb

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files