From 5f3dde27bfa55de4653f82aabf4b1a01dbd9d104 Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Tue, 14 Dec 2021 15:43:19 +0100
Subject: [PATCH] Try pinning cachetool to an older version supporting PHP 7
---
.gitlab-ci/deploy.php | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci/deploy.php b/.gitlab-ci/deploy.php
index 40e6de7..13c4272 100644
--- a/.gitlab-ci/deploy.php
+++ b/.gitlab-ci/deploy.php
@@ -43,7 +43,8 @@ host('development')
->set('rsync', $rsync_config)
->set('rsync_src', __DIR__.'/../')
->set('rsync_dest', '{{release_path}}')
- ->set('cachetool', '127.0.0.1:9001');
+ ->set('cachetool', '127.0.0.1:9001')
+ ->set('cachetool_binary', 'cachetool-7.0.0.phar');
// Build task
task('build-custom', function () {
--
GitLab