ci: remove an unnecessary job
Failed
Fabrice Gangler
created pipeline for commit
a101be85
, finished
For main
1 minute 33 seconds, queued for 1 seconds