Check PR body for changelog convention

feat: (experiment) have synth order defer "mixin" instances #7144

Sign in to view logs

Triggered via pull request March 4, 2025 01:44

leanprover-community-bot

labeled #7313

kmill:computeSynthOrder_mixins

Status Success

Total duration 12s

Artifacts –

pr-body.yml

on: pull_request