Migrate to GitHub actions
The MariaDB setup is a bit finicky, but I got it working in the end.
GitHub has no equivalent of TRAVIS_JOB_NUMBER as far as I can tell, so
we have to put it into the matrix ourselves.
Migrate to GitHub actions Tags None Referenced Files None Subscribers None
Description
Details
|