Update CI configs for ext-mongodb 1.13.0 (#902)

Author: jmikola

.evergreen/config.yml

@@ -591,22 +591,16 @@ axes:
   - id: driver-versions
     display_name: Driver Version
     values:
-      # TODO: Update to "1.13.0" once PHPC 1.13.0 is released
       - id: "oldest-supported"
-        # display_name: "1.13.0"
-        display_name: "1.13-dev (master)"
+        display_name: "1.13.0"
         variables:
-          # EXTENSION_VERSION: "1.13.0"
-          EXTENSION_BRANCH: "master"
-      # TODO: Update to "1.13.x"/"stable" once PHPC 1.13.0 is released
+          EXTENSION_VERSION: "1.13.0"
       - id: "latest-stable"
-        # display_name: "1.13.x"
-        display_name: "1.13-dev (master)"
+        display_name: "1.13.x"
         variables:
-          # EXTENSION_VERSION: "stable"
-          EXTENSION_BRANCH: "master"
+          EXTENSION_VERSION: "stable"
       - id: "latest-dev"
-        display_name: "1.13-dev (master)"
+        display_name: "1.14-dev (master)"
         variables:
           EXTENSION_BRANCH: "master"
 

.github/workflows/coding-standards.yml

@@ -20,7 +20,7 @@ jobs:
         php-version:
           - "7.4"
         driver-version:
-          - "mongodb/mongo-php-driver@master"
+          - "stable"
 
     steps:
       - name: "Checkout"

.github/workflows/tests.yml

@@ -27,24 +27,24 @@ jobs:
         mongodb-version:
           - "4.4"
         driver-version:
-          - "mongodb/mongo-php-driver@master"
+          - "stable"
         topology:
           - "server"
         include:
           - os: "ubuntu-20.04"
             php-version: "8.0"
             mongodb-version: "5.0"
-            driver-version: "mongodb/mongo-php-driver@master"
+            driver-version: "stable"
             topology: "server"
           - os: "ubuntu-20.04"
             php-version: "8.0"
             mongodb-version: "4.4"
-            driver-version: "mongodb/mongo-php-driver@master"
+            driver-version: "stable"
             topology: "replica_set"
           - os: "ubuntu-20.04"
             php-version: "8.0"
             mongodb-version: "4.4"
-            driver-version: "mongodb/mongo-php-driver@master"
+            driver-version: "stable"
             topology: "sharded_cluster"
 
     steps: