Check for copyright header

feat: add BitVec.getElem_[add|add_add_bool|mul|rotateLeft|rotateRight… #5058

Sign in to view logs

Triggered via pull request September 30, 2024 04:16

synchronize #5508

opencompl:more_get_elem_2

Status Success

Total duration 22s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files