Check PR body for changelog convention

perf: make andFlattening work on deeply nested hyps in one pass #408

Sign in to view logs

Triggered via pull request November 14, 2024 09:54

leanprover-community-bot

labeled #6075

hbv/bv_decide_fast_and_flattening

Status Success

Total duration 17s

Artifacts –

pr-body.yml

on: pull_request