actions: make coverage use the default sdk#1029

VincentVanlaer wants to merge 1 commit into

mainMESAHub/mesa:mainfrom

coverage-fixMESAHub/mesa:coverage-fixCopy head branch name to clipboard