Check PR body for changelog convention

feat: lemmas about BitVec.setWidth #4318

Sign in to view logs

Triggered via pull request January 28, 2025 22:46

kim-em

synchronize #6808

setwidth_lemmas

Status Success

Total duration 12s

Artifacts –

pr-body.yml

on: pull_request