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

maximthomas
25.28.2022 9653a1ed8c9f06a49cd287088b3b72aac6689fc0
refs
author maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 13:28 +0200
committer maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 13:28 +0200
commit9653a1ed8c9f06a49cd287088b3b72aac6689fc0
tree bf8f67068d45675f5737ea0240d51b2d38f3c167 tree | zip | gz
parent 4cfaa204142409aa2c65b510dbfff0453edfdd90 view | diff
increase docker start timeout
1 files modified
2 ■■■ changed files
.github/workflows/build.yml 2 ●●● diff | view | raw | blame | history