Skip to content

CI: use JDK 25 for Apalache and JDK 17 for TLC - #222

Merged
lemmy merged 1 commit into
masterfrom
mku-jdk
Aug 5, 2026
Merged

CI: use JDK 25 for Apalache and JDK 17 for TLC#222
lemmy merged 1 commit into
masterfrom
mku-jdk

CI: use JDK 25 for Apalache and JDK 17 for TLC

f83a14a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar