added mariadb 10.1

This commit is contained in:
Paolo Asperti 2022-01-13 11:58:53 +01:00
parent eca9c4083b
commit 2b3d588dba
Signed by: paspo
GPG Key ID: 06D46905D19D5182
1 changed files with 1 additions and 0 deletions

View File

@ -39,4 +39,5 @@ local Pipeline(mariadb_version) = {
Pipeline("10.4"),
Pipeline("10.3"),
Pipeline("10.2"),
Pipeline("10.1"),
]