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

Valera V Harseko
4 days ago 3c9705f1f7622153fc9cd114ba10a3fcdf938d64
.github/benchmark/summary.sh
@@ -39,7 +39,7 @@
# mi <file> <label> <field> -> integer value (0 if absent).
mi() { jq -r --arg l "$2" --arg f "$3" '((.[$l][$f]) // 0) | round' "$1"; }
echo "## ðŸ”¬ LDAP Benchmark â€” OpenDJ vs OpenLDAP"
echo "## ðŸ”¬ Benchmark: OpenDJ vs OpenLDAP"
echo ""
# ---------------------------------------------------------------- Versions