Skip to content
Check PR body for changelog convention

feat: expose diff at "synthesized type class instance is not definitionally equal" error #1100

Sign in to view logs

feat: expose diff at "synthesized type class instance is not definitionally equal" error

feat: expose diff at "synthesized type class instance is not definitionally equal" error #1100

Triggered via pull request November 25, 2024 17:26
@leanprover-community-botleanprover-community-bot
labeled #6213
kmill:synth_expose_diff
Status Success
Total duration 15s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
4s
check-pr-body
Fit to window
Zoom out
Zoom in