Check PR body for changelog convention

feat: add options to configure all of bv_decide's preprocessing #409

Sign in to view logs

Triggered via pull request November 14, 2024 10:07

leanprover-community-bot

labeled #6077

hbv/bv_decide_pass_options

Status Success

Total duration 11s

Artifacts –

pr-body.yml

on: pull_request