mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8eea077c | patch | commit | show whitespace
maximthomas
25.25.2022 e2166d9c40c7591ab2d9b2596df84f253762175a 
fix yaml type
1 files modified
changed files
.github/workflows/build.yml patch | view | raw | blame | history 
 .github/workflows/build.yml