Skip to content

Use forwarding super when translating abstract sigs to RBS - #1028

Draft
alexcrocha wants to merge 2 commits into
mainfrom
ar-translate-abstract-sigs-super
Draft

alexcrocha wants to merge 2 commits into
mainfrom
ar-translate-abstract-sigs-super

Use forwarding super when translating abstract sigs

8a6bf93
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 notices
ubuntu-latest 4.0
succeeded Oct 5, 2026 in 9m 43s