chore: Upgrade MariaDB on CI/CD #1505

Job	Run time
Smoke test: stock R	3m 47s
pkgdown	2m 39s
windows-latest (release)	9m 9s
macos-latest (release)	5m 41s
windows-latest (4.1)	11m 11s
ubuntu-20.04 (release)	4m 34s
windows-latest (4.2)	10m 23s
ubuntu-22.04 (devel)	4m 27s
ubuntu-22.04 (release) with covr	4m 10s
ubuntu-22.04 (oldrel-1)	4m 12s
ubuntu-22.04 (oldrel-2)	4m 50s
ubuntu-22.04 (oldrel-3)	3m 42s
ubuntu-22.04 (oldrel-4)	4m 34s
macOS-latest (release) mariadb_config	6m 9s
macOS-latest (release) mysql_config	8m 4s
ubuntu-22.04 (release) MySQL server + client	3m 31s
ubuntu-22.04 (release) MariaDB server, MySQL client	3m 22s
ubuntu-22.04 (release) MySQL server, MariaDB client	3m 32s
ubuntu-22.04 (release) MariaDB server + client	3m 31s
	1h 41m 28s

Provide feedback