[CI] Removed push event from workflows#25

orensbruli wants to merge 3 commits into

mainopen-rmf/rmf_utils:mainfrom

emartinena/remove_push_eventopen-rmf/rmf_utils:emartinena/remove_push_eventCopy head branch name to clipboard