remove the missing z3-4.13.1 release from tests

Author: wadoon

.github/workflows/ci.yml

@@ -53,7 +53,6 @@ jobs:
         z3:
           [
             '4.13.0',
-            '4.13.1',
             '4.13.2',
             '4.13.4',
             '4.14.0',