Skip to content

Add hint for implies (using --> and not ->)#221

Merged
CatarinaGamboa merged 1 commit into
mainfrom
hint-implies
May 13, 2026
Merged

Add hint for implies (using --> and not ->)#221
CatarinaGamboa merged 1 commit into
mainfrom
hint-implies

Add hint for implies (using --> and not ->)

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

Annotations

1 warning
Maven test on Java 20
succeeded May 13, 2026 in 1m 19s