Check PR body for changelog convention

feat: BitVec.toNat BitVec.signExtend #1172

Sign in to view logs

Triggered via pull request November 26, 2024 15:46

bollu

ready_for_review #6155

opencompl:toNat_signExtend

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request