Check PR title for commit convention

feat: lemmas about BitVec.setWidth #14526

Sign in to view logs

Triggered via pull request January 28, 2025 23:05

kim-em

synchronize #6808

setwidth_lemmas

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request