fix version search in the website (#14016)

fix #14015 changelog: none
rust-lang · Jan 17, 2025 · e359e88 · e359e88
2 parents 8d0c0eb + e307b2f
commit e359e88
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
@@ -341,8 +341,8 @@ window.filters = {
                 || !filters.levels_filter[lint.level]
                 || !filters.applicabilities_filter[lint.applicability]
                 || !(filters.version_filter["="] === null || lint.version === filters.version_filter["="])
-                || !(filters.version_filter["≥"] === null || lint.version > filters.version_filter["≥"])
-                || !(filters.version_filter["≤"] === null || lint.version < filters.version_filter["≤"])
+                || !(filters.version_filter["≥"] === null || lint.version >= filters.version_filter["≥"])
+                || !(filters.version_filter["≤"] === null || lint.version <= filters.version_filter["≤"])
             );
             if (lint.filteredOut || lint.searchFilteredOut) {
                 lint.elem.style.display = "none";