Skip to content

Backport "Fix isomorphism tests of AndOrTypes under non-empty BinderPairs" to LTS #19915

Backport "Fix isomorphism tests of AndOrTypes under non-empty BinderPairs" to LTS

Backport "Fix isomorphism tests of AndOrTypes under non-empty BinderPairs" to LTS #19915

check

succeeded Nov 21, 2024 in 5s