PR !4#22497: test: decl diff in lean

Stream: triage

[Random Issue Bot]

Today I chose PR #22497 for discussion!

test: decl diff in lean
Created by @damiano (@adomani) on 2025-03-03
Labels: WIP, CI, test-ci

Is this PR still relevant? Any recent updates? Anyone making progress?

[Damiano Testa]

This is a test for the declaration diff, written in Lean. I'll keep it open, since the declaration diff has not been merged.