From 5186928acba0519a273939e52dcf3cd572b2c2ea Mon Sep 17 00:00:00 2001 From: Alexander Popel Date: Mon, 14 Aug 2023 11:53:04 +0300 Subject: [PATCH] options.json: add PHP 7.2 --- ci/options.json | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/ci/options.json b/ci/options.json index 249b35e..154c07c 100644 --- a/ci/options.json +++ b/ci/options.json @@ -62,5 +62,21 @@ "LanguageVersion": "7.4", "RunPerformance": true, "PackageRequirement": true + }, + { + "Name": "Ubuntu_PHP_7.2", + "Image": "ubuntu-latest", + "Language": "php", + "LanguageVersion": "7.2", + "RunPerformance": true, + "PackageRequirement": true + }, + { + "Name": "macOS_PHP_7.2", + "Image": "macos-latest", + "Language": "php", + "LanguageVersion": "7.2", + "RunPerformance": true, + "PackageRequirement": true } ]