Require 1.8.x-dev for ext-mongodb

parent 9150bd7d
......@@ -22,7 +22,9 @@ cache:
env:
global:
- DRIVER_VERSION=1.7.0
- DRIVER_VERSION=1.8.0
# Todo: Remove when v1.8 has been branched
- DRIVER_BRANCH="master"
- SERVER_DISTRO=enterprise-ubuntu1604
- SERVER_VERSION=4.2.0
- DEPLOYMENT=STANDALONE
......@@ -125,16 +127,18 @@ jobs:
- DEPLOYMENT=SHARDED_CLUSTER_RS
# Test next patch release for driver
- stage: Test
php: "7.3"
env:
- DRIVER_BRANCH="v1.7"
# Todo: enable when v1.8 has been branched
# - stage: Test
# php: "7.3"
# env:
# - DRIVER_BRANCH="v1.8"
# Test next minor release for driver
- stage: Test
php: "7.3"
env:
- DRIVER_BRANCH="master"
# Todo: enable when v1.8 has been branched
# - stage: Test
# php: "7.3"
# env:
# - DRIVER_BRANCH="master"
before_install:
- pip install "mongo-orchestration>=0.6.7,<1.0" --user `whoami`
......
......@@ -13,7 +13,7 @@
"php": "^7.0",
"ext-hash": "*",
"ext-json": "*",
"ext-mongodb": "^1.7"
"ext-mongodb": "^1.8"
},
"require-dev": {
"phpunit/phpunit": "^6.4 || ^8.3",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment