• Mario's avatar
    Merge branch 'dev' into 'dev' · 72684262
    Mario authored
    Bring back some basic automated testing for PHP7.1 and mysql via gitlab-ci.
    
    See merge request !1332
    
    (cherry picked from commit c39de966)
    
    b77acb3e add gitlab-ci.yml and phpunit.xml
    22275f30 fix dba_pdoTest
    0db047e5 fix phpunit error with html2markdown test and temporary disable failing markdown…
    72684262
Validating GitLab CI configuration… Learn more