[CI] Fix broken pipeline on main

Looks like I broke main with a5394bb8

The solution is quite trivial though; will fix quickly.