@SimonSapin
Remove dead code for disabled CI tasks
0c10e3a