Andrey Savchenko 08a24caf8c Bumped Ubuntu version in actions. ...

18.04 is deprecated, 20.04 has PHP 7.4+ pre-installed which is higher than current 7.2 but probably next bump.

2022-12-28 14:59:38 +02:00

..

workflows

Bumped Ubuntu version in actions.

2022-12-28 14:59:38 +02:00