Check for copyright header

feat: add `BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb]` , add `and_eq_decide, or_eq_decide, decide_eq_true_iff` to `bool_to_prop` #8919

Sign in to view logs

Triggered via pull request February 14, 2025 11:53

synchronize #6792

opencompl:extractlsb-msb

Status Success

Total duration 37s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files