Check for copyright header

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

Sign in to view logs

Triggered via pull request October 3, 2024 08:27

opened #5604

opencompl:shift-msb-lsb

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files