Update tools script and remove Symfony CLI

presprog · Mar 19, 2024 · f1c1374 · f1c1374
1 parent 88e8ccf
commit f1c1374
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -37,11 +37,6 @@ jobs:
         restore-keys: |
           ${{ runner.os }}-php-
 
-    - name: Install Symfony CLI
-      run: |
-        curl -sS https://get.symfony.com/cli/installer | bash
-        mv /home/runner/.symfony5/bin/symfony /usr/local/bin/symfony
-
     - name: Install dependencies
       run: composer install --prefer-dist --no-progress
 

diff --git a/tools/tools.php b/tools/tools.php
@@ -15,6 +15,6 @@
     }
 
     chdir($tool->getPathname());
-    exec(sprintf('symfony composer %s --ansi', $command));
+    exec(sprintf('%s %s %s --ansi', PHP_BINARY, '/usr/local/bin/composer', $command));
     chdir($toolsDir);
 }