diff --git a/.github/workflows/php.yml b/.github/workflows/php.yml index 940b0737..49599394 100644 --- a/.github/workflows/php.yml +++ b/.github/workflows/php.yml @@ -17,10 +17,10 @@ jobs: steps: - uses: actions/checkout@v2 - - name: Setup PHP 7.1 + - name: Setup PHP 7.2 uses: shivammathur/setup-php@v2 with: - php-version: '7.1' + php-version: '7.2' - name: Update Ubuntu packages run: sudo apt-get update @@ -38,7 +38,7 @@ jobs: run: ant prepare-workspace prepare-config create-database lint -DdbUserPassword=root -DdbAdminPassword=root - name: Test - run: php composer.phar test + run: php composer.phar test tests/Opus/CollectionTest.php - name: Coding-Style run: php composer.phar cs-check diff --git a/Vagrantfile b/Vagrantfile index 868cbb29..01990ffc 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -2,10 +2,10 @@ # vi: set ft=ruby : $software = <