Check PR body for changelog convention

feat: BitVec.[toInt|toFin]_concat and Bool.toInt #1346

Sign in to view logs

Triggered via pull request November 29, 2024 06:27

leanprover-community-bot

labeled #6182

opencompl:bv_concat

Status Success

Total duration 10s

Artifacts –

pr-body.yml

on: pull_request