diff --git a/ci/ci.sh b/ci/ci.sh
index c7a6bfd..ada2535 100755
--- a/ci/ci.sh
+++ b/ci/ci.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-version=6.3.4
+version=6.3.13
 set -e -x
 ./ci/install_deps.sh