Check for copyright header

feat: add `BitVec.(msb, getMsbD, getLsbD)_(neg, abs)` #5798

Sign in to view logs

Triggered via pull request October 27, 2024 13:29

synchronize #5721

opencompl:abs-neg-arith

Status Success

Total duration 1m 48s

Billable time 1m

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files