mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: f1f4ea | patch | commitdiff
Valery Kharseko
6 hours ago b9d727d8e6094a7aa4356a1c9f310c6363d220e9
refs
author Valery Kharseko <vharseko@3a-systems.ru>
Wednesday, July 8, 2026 19:27 +0200
committer GitHub <noreply@github.com>
Wednesday, July 8, 2026 19:27 +0200
commitb9d727d8e6094a7aa4356a1c9f310c6363d220e9
tree 107b2364c4906c0d00b55ef744c254c85fd5f340 tree | zip | gz
parent f1f4ea0ddb367d9ef44e4151087f53cd13bd16cb view | diff 
ci: add "Benchmark PDB vs JE" step to build-docker (#718)
2 files modified
48 ■■■■■ changed files
.github/benchmark/compare-opendj.sh 29 ●●●●● diff | view | raw | blame | history
.github/workflows/build.yml 19 ●●●●● diff | view | raw | blame | history