disable mysql db install

apt-get mysql fails. my guess is it's mariadb, so disable for now
as I may need to change file names/paths etc.

Author: rouilj

.github/workflows/ci-test.yml

@@ -56,6 +56,7 @@ jobs:
           sudo -u postgres psql -c "CREATE ROLE rounduptest WITH CREATEDB LOGIN PASSWORD 'rounduptest';" -U postgres
 
       - name: Install mysql
+        if: ${{ false }}
         run: |
           sudo apt-get install mysql
           # set up mysql database