Skip to content

Bump Java Version to 17/25 - #155

Merged
mtf90 merged 6 commits into
LearnLib:developfrom
mtf90:java25
Nov 21, 2025
Merged

Bump Java Version to 17/25#155
mtf90 merged 6 commits into
LearnLib:developfrom
mtf90:java25

Commits

  1. Commits on Sep 27, 2025

  2. Commits on Sep 28, 2025

  3. Commits on Oct 17, 2025

    • JDK builds pass

      mtf90mtf90
      committed
      7b08cfb

  4. Commits on Oct 26, 2025

  5. Commits on Nov 21, 2025