mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a6118d2c | patch | commit | ignore whitespace
Valery Kharseko
17.37.2025 58c7c3d4cde3b950c0d736b036e7da0253300cff 
Merge branch 'master' into update-jdk-11
1 files modified
2 ■■■■■ changed files
.github/workflows/build.yml 2 ●●●●● patch | view | raw | blame | history 
 .github/workflows/build.yml


@@ -10,7 +10,7 @@


    runs-on: ${{ matrix.os }}


    strategy:


      matrix:


        java: [ '11','17','21','24']


        java: [ '11','17','21','25']


        os: [ 'ubuntu-latest', 'macos-latest', 'windows-latest' ]


      fail-fast: false


    steps: