Check PR title for commit convention

feat: add BitVec lemmas about `msb` and `shiftConcat` #14713

Sign in to view logs

Triggered via pull request January 31, 2025 00:21

fgdorais

synchronize #6875

fgdorais:bitvec-lemmas

Status Success

Total duration 8s

Artifacts –

pr-title.yml

on: pull_request