Check PR title for commit convention

feat: add BitVec.toNat_[abs|sdiv|smod] #9394

Sign in to view logs

Triggered via pull request September 27, 2024 09:24

synchronize #5491

opencompl:more_to_nat

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request