[TASK] Stop storing development tool PHARs in the repository (#1277)

Tools that are downloadable should in general be downloaded during
the CI runs, not stored in the repository.

As the only PHIVE PHAR we're using is PCOV (for code coverage, which
we usually only run on CI), we can skip providing PHIVE and rely on
CI to provide PHIVE for us. This leaves only PCOV to be installed
via PHIVE.

Fixes #267

.github/workflows/codecoverage.yml

@@ -31,6 +31,8 @@ jobs:
           extensions: mysqli
           coverage: pcov
           ini-values: pcov.directory=Classes
+      - name: "Install development tools"
+        run: phive --no-progress install --trust-gpg-keys D8406D0D82947747293778314AA394086372C20A
       - name: "Show Composer version"
         run: composer --version
       - name: "Show the Composer configuration"

CHANGELOG.md

@@ -9,6 +9,7 @@ This project adheres to [Semantic Versioning](https://semver.org/).
 - Add support for PostgreSQL 16 (#1271)
 
 ### Changed
+- Stop storing development tool PHARs in the repository (#1277)
 - !!! Require a storage PID for the tea list (#1223)
 - Drop additional namespace segment for the Tea model (#1025)
 

phive.xml

@@ -1,5 +1,4 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <phive xmlns="https://phar.io/phive">
-  <phar name="phar-io/phive" version="^0.15.2" installed="0.15.2" location="./tools/phive" copy="true"/>
-  <phar name="phpcov" version="^8.2.1" installed="8.2.1" location="./tools/phpcov" copy="true"/>
+  <phar name="phpcov" version="^8.2.1" installed="8.2.1" location="./tools/phpcov" copy="false"/>
 </phive>