CI: Pin version of genbadge

OpenNavigationSurface · Aug 23, 2023 · 1c9fa47 · 1c9fa47
1 parent 15fc6c7
commit 1c9fa47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/install-dependencies-cov.sh b/scripts/install-dependencies-cov.sh
@@ -14,5 +14,5 @@ sudo cmake --build build --target install
 popd
 python3 -m venv python-venv --system-site-packages
 source python-venv/bin/activate
-pip install "genbadge[coverage]"
+pip install "genbadge[coverage]==1.0.6"
 deactivate