build on PRs; nitpicks
authorgggeek <giunta.gaetano@gmail.com>
Thu, 3 Mar 2022 22:27:58 +0000 (22:27 +0000)
committergggeek <giunta.gaetano@gmail.com>
Thu, 3 Mar 2022 22:27:58 +0000 (22:27 +0000)
commitc5854380ac66705fa0e42e689cfc078d79a43ade
treed96d7b7f8549801ab6d9e2e7e085486cd512d41c
parent603c8e6d360f38410287a9ac09a6599369f3e5e8
build on PRs; nitpicks
.github/workflows/ci.yml
tests/ci/setup/setup_php.sh