#!/usr/bin/env bash
# Run the harness inside a pinned PHP image so results do not depend on whatever
# PHP happens to be on the host (there is none on this workstation).
exec podman run --rm --network=host -v "$(cd "$(dirname "$0")/.." && pwd)":/plugin:z -w /plugin \
  docker.io/library/php:8.4-cli php "$@"