--- a/.github/workflows/ci-test.yml	Wed Aug 31 22:17:30 2022 -0400
+++ b/.github/workflows/ci-test.yml	Wed Aug 31 22:20:52 2022 -0400
@@ -57,13 +57,13 @@
           # set up postgresql database
           sudo -u postgres psql -c "CREATE ROLE rounduptest WITH CREATEDB LOGIN PASSWORD 'rounduptest';" -U postgres
 
-      - name: Install mariadb/mysql
+      - name: Install mysql/mariadb
         run: |
-          sudo apt-get install mariadb
+          sudo apt-get install mysql-server mysql-client
           # set up mysql database
           sudo sed -i -e '/^\[mysqld\]/,/^\[mysql/s/^max_allowed_packet.*/max_allowed_packet = 500M/' /etc/mysql/my.cnf
           cat /etc/mysql/my.cnf
-          sudo service mariadb restart
+          sudo service mysql restart
           mysql -u root -e 'GRANT ALL ON rounduptest.* TO rounduptest@localhost IDENTIFIED BY "rounduptest";'
           # HACK: workaround mysql bug: http://bugs.mysql.com/bug.php?id=74901
           #   needed for test_mysql.mysqlDBTest.testFilteringSpecialChars