ci: Run apt update before installing MariaDB
#411
| Job | Run time |
|---|---|
| 1s | |
| 0s | |
| 0s | |
| 0s | |
| 1s |
apt update before installing MariaDB
#411
| Job | Run time |
|---|---|
| 1s | |
| 0s | |
| 0s | |
| 0s | |
| 1s |