[CI] Remove duplicated workflow definition (#9888)

This PR removes an outdated workflow definition file.

Essentially, a file rename went wrong and the workflow was committed both under new and old filename.