mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Valery Kharseko
6 hours ago 3fa40c285fec0e2a8318f017426ec325c11be9b8
.github/workflows/build.yml
@@ -62,6 +62,14 @@
      if: runner.os == 'Linux' && matrix.java == '11'
      shell: bash
      run: bash .github/scripts/test-refresh-launchers.sh
    - name: Check shell utility with ksh93
      if: runner.os == 'macOS' && matrix.java == '11'
      shell: bash
      run: /bin/ksh .github/scripts/test-script-util.sh
    - name: Check shell utility with dash
      if: runner.os == 'Linux' && matrix.java == '11'
      shell: bash
      run: dash .github/scripts/test-script-util.sh
    - name: Java ${{ matrix.Java }} (${{ matrix.os }})
      uses: actions/setup-java@b843ebf9b913146b38da2eaa7aeddf76074ae1ad # v6.1.0
      with: