]> granicus.if.org Git - php/commitdiff
Fix community job
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 6 Mar 2020 09:54:16 +0000 (10:54 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 6 Mar 2020 10:43:35 +0000 (11:43 +0100)
Marco broke things again.

azure/community_job.yml

index dc17e10ec5523b77c71c70f8f4a5aba13ceba1f0..87b06184ba956ad6c3e5a58d96a28d04ed930448 100644 (file)
@@ -75,7 +75,7 @@ jobs:
     - script: |
         git clone https://github.com/amphp/amp.git --branch=master --depth=1
         cd amp
-        php7.3 /usr/bin/composer install --no-progress --ignore-platform-reqs
+        php /usr/bin/composer install --no-progress --ignore-platform-reqs
         export USE_ZEND_ALLOC=0
         sed -i 's/$exit = true/$exit = false/g' vendor/phpunit/phpunit/src/TextUI/Command.php
         php vendor/bin/phpunit