mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8eea07 | patch | commitdiff
maximthomas
25.25.2022 e2166d9c40c7591ab2d9b2596df84f253762175a
refs
author maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 10:25 +0200
committer maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 10:25 +0200
commite2166d9c40c7591ab2d9b2596df84f253762175a
tree 10dd83b8b31d4f7f5b776f912a1b76efeafe3372 tree | zip | gz
parent 8eea077c846728246b51c2cc72e58d477c3c7bf6 view | diff 
fix yaml type
1 files modified
6 ■■■■■ changed files
.github/workflows/build.yml 6 ●●●●● diff | view | raw | blame | history