Check for copyright header

feat: add BitVec.(shiftLeft_add_distrib, shiftLeft_ushiftRight) #4933

Sign in to view logs

Triggered via pull request September 26, 2024 15:36

synchronize #5478

opencompl:shiftleft-right-add

Status Success

Total duration 33s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files