[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 1f734f: Fix mutation tests workflow for push events