Check for copyright header

feat: BitVec.signExtend.{toNat, toInt} #6755

Sign in to view logs

Triggered via pull request November 29, 2024 12:55

mhk119

synchronize #6038

opencompl:signExtend

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files