CI: remove an unused job
CI: remove an unused job

This was used for the coverity job before, but that one got moved to
another file.

Fixes: 7f55a30c actions REFACTOR separate devel push actions

CESNET/libyang,CESNET/libyang