Check PR body for changelog convention

feat: BitVec normalization rule for udiv by twoPow #201

Sign in to view logs

Triggered via pull request November 11, 2024 09:32

bollu

synchronize #6029

opencompl:simproc-udiv-two-pow

Status Success

Total duration 8s

Billable time 1m

Artifacts –

pr-body.yml

on: pull_request