Skip to content

Fix: Interfaces should have their interfaces as basetype#75

Merged
clement-brodu merged 2 commits into
clement-brodu:mainfrom
simondrum:main
Jun 29, 2026
Merged

Fix: Interfaces should have their interfaces as basetype#75
clement-brodu merged 2 commits into
clement-brodu:mainfrom
simondrum:main

fix english

4417b75
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings
build
succeeded Jun 29, 2026 in 1m 39s