Skip to content
HELMET Source Back to HELMET
Menu

Proof and tests#

How HELMET is proven against real Wayne State applications, and how to run its test suite on a machine with no PHP. Maintainers: how to build, test and release this project, and where its data comes from, is in MAINTAINING.md.

Proof#

Proof runs against real Wayne State applications live on a private site, proof.apps.wayne.edu/helmet, behind a Wayne State employee sign-in.

Tests#

No PHP on the machine? Fine. Docker runs the suite.

docker run --rm -v "${PWD}:/app" -w /app composer:2 composer install --no-interaction
docker run --rm -v "${PWD}:/app" -w /app php:8.5-cli vendor/bin/phpunit
docker run --rm -v "${PWD}:/app" -w /app php:8.4-cli vendor/bin/phpunit
docker run --rm -v "${PWD}:/app" -w /app php:8.3-cli vendor/bin/phpunit
docker run --rm -v "$PWD:/app" -w /app composer:2 composer install --no-interaction
docker run --rm -v "$PWD:/app" -w /app php:8.5-cli vendor/bin/phpunit
docker run --rm -v "$PWD:/app" -w /app php:8.4-cli vendor/bin/phpunit
docker run --rm -v "$PWD:/app" -w /app php:8.3-cli vendor/bin/phpunit

Style and static analysis come from Pinstripe, the stack's coding standard: phpstan.neon includes vendor/waynestate/pinstripe/phpstan/raw.neon, and pint.json uses the same per preset Pinstripe ships.