mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: de3526 | patch | commitdiff
Valera V Harseko
2 days ago d7a519ff05732346ba63f18dd53285e334a6a09c
refs
author Valera V Harseko <vharseko@3a-systems.ru>
Monday, June 22, 2026 18:27 +0200
committer Valera V Harseko <vharseko@3a-systems.ru>
Monday, June 22, 2026 18:27 +0200
commitd7a519ff05732346ba63f18dd53285e334a6a09c
tree 6d766b02e3db96f1389ada3bd24c7de4c583a018 tree | zip | gz
parent de3526645a13633ef6779dfb281255f9f3641fca view | diff 
Benchmark: fix OpenLDAP image name to vegardit/openldap

The Docker Hub image is published as `vegardit/openldap`, not
`vegardit/docker-openldap` (that is the GitHub repository name). The wrong name
made `docker run` fail with "pull access denied / repository does not exist".
Fix both the input default and the env fallback.
1 files modified
4 ■■■■■ changed files
.github/workflows/benchmark.yml 4 ●●●●● diff | view | raw | blame | history