Skip to content

Relicense KeY from GPLv2-only to GPLv2-or-later - #3986

Open
wadoon wants to merge 1 commit into
mainfrom
weigl/gpl2+
Open

Relicense KeY from GPLv2-only to GPLv2-or-later#3986
wadoon wants to merge 1 commit into
mainfrom
weigl/gpl2+

Relicense KeY from GPLv2-only to GPLv2-or-later

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

Annotations

1 notice
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded Sep 26, 2026 in 19m 31s