ci: Remove redundant jobs

Remove push-public and pull-public jobs
as they are already included in
developer-tools as part of the sync-public stage.

Signed-off-by: Ahmed Ismail <ahmed.ismail@arm.com>