feat: consistent type ABI regardless of transparency #13717
Triggered via pull request
September 29, 2025 14:25
leanprover-community-bot
leanprover-community-bot
labeled
#10610
Status
Skipped
Total duration
2s
Artifacts
–