Ingo Karkat aa38153586 Housekeeping: Remove obsolete build platforms ...

GitHub runners for Ubuntu 18.04 and MacOS 10.15 are not available any longer.

2023-06-30 16:59:44 +02:00

..

tests.yml

Housekeeping: Remove obsolete build platforms

2023-06-30 16:59:44 +02:00