Skip to content

chore: remove the unused JUnit 4-era BugTest annotation#1468

Merged
rubenporras merged 1 commit into
dsldevkit:masterfrom
joaodinissf:chore/remove-dead-junit4-bugtest
Jul 16, 2026
Merged

chore: remove the unused JUnit 4-era BugTest annotation#1468
rubenporras merged 1 commit into
dsldevkit:masterfrom
joaodinissf:chore/remove-dead-junit4-bugtest

Commits

Commits on Jul 15, 2026