minor #456 [CI] Switch from ubuntu-latest to ubuntu-18.04 (pamil)

This PR was merged into the 1.8 branch.

Discussion
----------

In the coming weeks, ubuntu-latest will start pointing to ubuntu-20.04 instead of ubuntu-18.04. Let's prevent potential failures by specifying directly ubuntu-18.04 for now and consiously upgrading to ubuntu-20.04 when we're ready - possibly after dropping PHP 7.3 compatibility, since setting it up on the newer version of Ubuntu takes a lot more time.

Ref: actions/runner-images#1816

Commits
-------

76490228d43179b6dcf108d92a0a4525912339a2 [CI] Switch from ubuntu-latest to ubuntu-18.04

.github/workflows/build.yml

@@ -11,7 +11,7 @@ on:
 
 jobs:
     tests:
-        runs-on: ubuntu-latest
+        runs-on: ubuntu-18.04
 
         name: "PHP ${{ matrix.php }}, Symfony ${{ matrix.symfony }}, MySQL ${{ matrix.mysql }}"