get rid of deprecated method Platform::getName; include MariaDB as a part of MySQLPlatform
#283
| Job | Run time |
|---|---|
| 17s | |
| 10s | |
| 11s | |
| 11s | |
| 10s | |
| 23s | |
| 18s | |
| 15s | |
| 16s | |
| 2m 11s |