Check PR title for commit convention

feat: prove that `intMin` is indeed the smallest signed bitvector #10439

Sign in to view logs

Triggered via pull request October 19, 2024 23:22

alexkeizer

opened #5778

opencompl:toInt_intMin_le

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request