Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[CI] Switch from ubuntu-latest to ubuntu-18.04
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
- Loading branch information