Update CI.yml

matthias-bs · Dec 22, 2023 · 7a07c3a · 7a07c3a
1 parent 1e8e3ab
commit 7a07c3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -86,7 +86,7 @@ jobs:
             "[email protected]"
             "[email protected]"
             "[email protected]"
-            "[email protected].4"
+            "[email protected].7"
             "[email protected]")
           for i in "${required_libs[@]}"
           do