![[Jenkins]](/jenkins/static/57427442/images/svgs/logo.svg){kind=logo}
Summary
- Update dev tools and CI setup. (#17) (details)
| The file was added | tests/phpstan.neon |
| The file was modified | .gitignore (diff) |
| The file was modified | README.md (diff) |
| The file was modified | build.xml (diff) |
| The file was modified | tests/vufind.php_cs (diff) |
| The file was modified | phpunit.xml (diff) |
| The file was modified | composer.json (diff) |
| The file was removed | .travis.yml |
| The file was added | .github/workflows/ci.yaml |
| The file was modified | CHANGELOG.md (diff) |